A security specification verification technique based on the international standard ISO/IEC 15408

Proceedings of the ACM Symposium on Applied Computing

Volumn 2, Issue , 2006, Pages 1802-1803

  Morimoto, Shoichi ^a   Shigematsu, Shinjiro ^a   Goto, Yuichi ^a   Cheng, Jingde ^a  

^a SAITAMA UNIVERSITY   (Japan)

Author keywords

Common criteria; Theorem proving; Z notation

Indexed keywords

NATURAL LANGUAGE PROCESSING SYSTEMS; SECURITY OF DATA; STANDARDS;

COMMON CRITERIA; SECURITY SPECIFICATIONS; Z NOTATION;

SPECIFICATIONS;

EID: 33751030558     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1141277.1141701     Document Type: Conference Paper

References (10)

1. Advanced Information Systems Engineering Laboratory. Security Functional Requirement Management Database. Saitama University. http://queen.aise.ics. saitama-u.ac.jp/
2. Y. Bertot and P. Casteran. Interactive Theorem Proving and Program Development. Springer-Verlag. 2004.
3. Common Criteria Org. Evaluated Product Files. http://www. commoncriteriaportal.org/public/files/epfiles/
4. ISO/IEC 13568 Standard. Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics. 2002.
5. ISO/IEC 15408 Standard. Common Criteria for Information Technology Security Evaluation Version 2.2 Revision 256. 2004.
6. ORA Canada. Z/EVES. http://www.ora.on.ca/z-eves/welcome.html
7. S. Morimoto and J. Cheng. Patterning Protection Profiles by UML for Security Specifications. In Proc. of the IEEE 2005 International Conference on Intelligent Agents, Web Technology and Internet Commerce (IAWTIC'05), November 2005.
8. S. Morimoto and J. Cheng. Modeling Protection Profiles by UML and their Formal Verification. IEICE Trans., Vol.J89-D, No.4, April 2006 (in Japanese).
9. S. Morimoto, S. Shigematsu, Y. Goto, and J. Cheng. A Security Specification Verification Technique Using Theorem Proving and Model Checking Based on the International Standard ISO/IEC 15408. In Proc. of the Second Symposium on Science and Technology for System Verification, pages. 12-23, National Institute of Advanced Industrial Science and Technology, October 2005 (in Japanese).
10. B. Potter, J. Sinclair, and D. Till. An Introduction to Formal Specification and Z 2nd Edition. International Series in Computer Science, Prentice-Hall, 1996.