Semiformal approach to the IT security development

Proceedings - International Conference on Dependability of Computer Systems, DepCoS - RELCOMEX 2007

Volumn , Issue , 2007, Pages 3-10

  Białas, Andrzej ^a  

^a Institute of Innovations and Information Society   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; INFORMATION TECHNOLOGY; PROGRAM DOCUMENTATION; RISK ANALYSIS; UNIFIED MODELING LANGUAGE;

COMPUTER AIDED TOOLS; DESIGN SELF EVALUATORS; RISK ANALYSIS TOOLS; SECURITY DEVELOPMENT;

SECURITY OF DATA;

EID: 36049040298     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DEPCOS-RELCOMEX.2007.43     Document Type: Conference Paper

References (14)

1. ISO/EC 15408, Common Criteria for IT Security Evaluation, Part 1-3.
2. Common Evaluation Methodology for Information Technology Security, Part 1-2.
3. ISO/IEC TR 15446, Guide for the production of protection profiles and security targets.
4. UML 2.0 OCL Specification, Appendix A: Semantics, 2003. available at: www.omg.org
5. S. Galitzer, Introducing Engineered Composition (EC): An Approach for Extending the Common Criteria to Better Support Composing Systems, Published in the Workshop for Application of Engineering Principles to System Security Design (WAEPSSD) Proceedings, September 2003.
6. J. Jürjens, Secure Systems Development with UML, Springer-Verlag, Berlin Heidelberg, 2004.
7. C. Lavatelli, EDEN: A formal framework for high level security CC evaluations, e-Smart, Sophia Antipolis 2004.
8. TL FIT, TL SET: http://trusted-logic.fr
9. A. Białas, "Specification of security environment of IT security-related products according to Common Criteria", Theoretical and Applied Informatics, Gliwice, ISSN 1896-5334, vol. 18 (2006) no. 2. pp. 141-157.
10. A. Białas, "A semiformal approach to the security problem of the target of evaluation (TOE) modeling", In: H.R. Arabnia, S. Aissi (Eds), G. L. Vert, P.A.H Williams. (Assoc. Co Eds), Proc. of the 2006 Int. Conf. on Security and Management - SAM'06, Las Vegas, ISBN# 1-60132-001-9, CSREA Press, 2006, pp. 19-25.
11. A. Białas, Semiformal Common Criteria compliant IT security development framework, Studia Informatica, Silesian University of Technology Press, Gliwice, 2007 (prepared for publication).
12. A. Białas, "IT security development - computer-aided tool supporting design and evaluation", In: J. Kowalik, J. Górski, A. Sachenko, (eds), Cyberspace Security and Defense, Research Issues, NATO reference: ARW 980492, NATO Science Series II, vol. 196, Springer, Dordrecht, 2005, pp. 3-23.
13. SecCert: http://www.iss.pl
14. th ICCC: www.7iccc.es