Validating the Security of Medusa: A survivability protocol for security systems In Proceedings of the 3rd International Workshop on Security in Information Systems - Volume 0ICEIS, 319-330, 2005 , Miami, United States