Security Testing and Formal Methods for High Levels Certification of Smart Cards
作者： Boutheina Chetali
DOI: 10.1007/978-3-642-02949-3_1
关键词: Smart card 、 Test (assessment) 、 Software engineering 、 Certification 、 Common Criteria 、 Security testing 、 Mixed approach 、 Formal methods 、 Computer science
摘要: We will discuss security testing and formal methods in the framework of Common Criteria certification smart cards. The discussion introduce requirements standard on test activity description design identify their impact tools to use. Emphasis be placed high levels which are required demonstrate correct security. advantage a mixed approach model-based testing, that allow reach, pragmatic way, certification.
springer.com
sci-hub.st 参考文章(4)
Boutheina Chetali, Quang-Huy Nguyen, Industrial Use of Formal Methods for a High-Level Security Evaluation Lecture Notes in Computer Science. pp. 198- 213 ,(2008) , 10.1007/978-3-540-68237-0_15
Pierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois, Automatic generation of model based tests for a class of security properties Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07. pp. 12- 22 ,(2007) , 10.1145/1291535.1291537
Boutheina Chetali, Quang-Huy Nguyen, An automated testing experiment for layered embedded C code International Journal on Software Tools for Technology Transfer. ,vol. 11, pp. 175- 185 ,(2009) , 10.1007/S10009-009-0108-3
Kaisa Sere, Jorge Cuellar, Tom Maibaum, FM 2008: Formal Methods ,(2008)