Towards formal specification of abstract security properties

ARES 2008 - 3rd International Conference on Availability, Security, and Reliability, Proceedings

Volumn , Issue , 2008, Pages 80-87

  Maña, Antonio ^a   Pujol, Gimena ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Formal models; Proof assistants; Security properties

Indexed keywords

FORMAL MODELS; FORMAL SPECIFICATIONS; INTERNATIONAL CONFERENCES; PROOF ASSISTANTS; SECURITY PROPERTIES; SECURITY SOLUTIONS; VERIFICATION MODELS;

ABSTRACTING; MODEL CHECKING; SPECIFICATIONS;

FORMAL METHODS;

EID: 49049090201     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ARES.2008.202     Document Type: Conference Paper

References (17)

1. Common Criteria Editorial Board. Common Criteria for Information Technology Security Evaluation. Version 3.1 Revision 1. September 2006. Available from http://www.commoncriteriaportal.org
2. M. Schumacher, E. Fernandez, D. Hybertson, F. Buschmann, and P. Sommerlad. Security Patterns - Integrating Security and Systems Engineering. John Wiley & Sons, 2005.
3. Congress of the United states of America. Sarbanes-Oxley Act of 2002. Available from http://www.access.gpo.gov/
4. Congress of the United states of America. Health Insurance Portability and Accountability Act of 1996. Available from http://www.hhs.gov/ocr/hipaa/
5. Y. Bertot and P. Casteran. Interactive Theorem Proving and Program Development: Coq' Art, Springer Verlag, EATCS Texts in Theoretical Computer Science, 2004.
6. SERENITY Project. Funded by European Commission. Directorate General Information Society & Media. Unit D4-ICT for Trust and Security, under grant IST-027587. http://www.serenity-project.org
7. C. A. R. Hoare. "Communicating Sequential Process", London: Prentice-Hall International, UK, LTD., 1985.
8. J. Jacob. "Security Specifications", Proceedings of the I988 IEEE Symposium on Research in Security arid Privacy. IEEE Press, May 1988.
9. J. McLean. "A General Theory of Composition for Trace Sets Closed Under Selective Interleaving Functions", Proceedings of the 1994 IEEE Symposium on Security and Privacy. IEEE Press. May 1994.
10. A. Zakinthinos, E.S. Lee. "A General Theory of Security Properties", Proceedings of the 18th IEEE Computer Society Symposium on Research in Security and Privacy.
11. R. Focardi, R. Gorrieri and F. Martinelli. "A Comparison of Three Authentication Properties", Theoretical Computer Science, Volume 291(3), Pages 219-388, January 2003, Elsevier Science.
12. R. Focardi, R. Gorrieri. "Classification of Security Properties. Part I: Information Flow". In Foundations of Security Analysis and Design (R. Focardi, R. Gorrieri eds), LNCS 2171, 331-396, Springer, 2001.
13. A. Bossi, R. Focardi, C. Piazza, and S. Rossi. "Verifying Persistent Security Properties", Computer Languages, Systems and Structures, 30(3-4): 231-258 (2004). Elsevier Science.
14. M. Cohen, M. Dam: "A Complete Axiomatization of Knowledge and Cryptography" Technical Report Trita-CSCTCS-2007:1.
15. M. Cohen and M. Dam: "Logical Omniscience in the Semantics of BAN Logics", in Proc. FCS'05, Chicago, 2005, pp. 121-132.
16. V. Cortier, M. Rusinowitch, E. Zalinescu, Relating two standard notions of secrecy Computer Science Logic 2006 25-29 September, 2006, Szeged, Hungary.
17. S. Gürgens, P. Ochsenschlager, C. Rudolph "On a formal framework for security properties". Computer Standards & Interfaces. Volume 27, Issue 5, June 2005, Pages 457-466. Formal Methods, Techniques and Tools for Secure and Reliable Applications.