Formally testing fail-safety of electronic purse protocols

Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Volumn , Issue , 2001, Pages 408-411

  Jürjens, Jan ^a   Wimmel, Guido ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SAFETY ENGINEERING; SAFETY TESTING;

AUTO FOCUS; AUTO-FOCUS SYSTEM; CRITICAL SYSTEMS; CRYPTOGRAPHIC SYSTEMS; ELECTRONIC PURSE; FAIL SAFETY; SECURITY-CRITICAL; SPECIFICATION BASED TESTING; STATE-MACHINE; STATE-TRANSITION DIAGRAMS;

SPECIFICATIONS;

EID: 85116910504     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2001.989840     Document Type: Conference Paper

References (14)

1. R. Anderson. Security Engineering: A Guide to Building Dependable Distributed Systems. Wiley, 2001.
2. CEPSCO. Common Electronic Purse Specifications, 2001. Business Requirements vers. 7.0, Functional Requirements vers. 6.3, Technical Specification vers. 2.3, available from http://www.cepsco.com.
3. S. C. S. U. Group. Smart card protection profile. Common Criteria for Information Technology Security Evaluation, 21 March 2001. Draft Version 2.1d.
4. F. Huber, S. Molterer, A. Rausch, B. Schätz, M. Sihling, and O. Slotosch. Tool supported Specification and Simulation of Distributed Systems. In International Symposium on Software Engineering for Parallel and Distributed Systems, pages 155-164, 1998.
5. F. Huber, S. Molterer, B. Schätz, O. Slotosch, and A. Vilbig. Traffic Lights - An AutoFocus Case Study. In 1998 International Conference on Application of Concurrency to System Design, pages 282-294. IEEE Computer Society, 1998.
6. J. Jurjens. Object-oriented modelling of audit security for smart-card payment schemes. In P. Paradinas, editor, 1F1P/SEC 2001 - 16th International Conference on Information Security. Kluwer, 2001.
7. J. Jurjens. Secrecy-preserving refinement. In Formal Methods Europe, LNCS. Springer, 2001.
8. J. Jürjens and G. Wimmel. Formally testing fail-safety of electronic purse protocols (long version), 2001.
9. J. Jürjens and G. Wimmel. Security modelling for electronic commerce: The Common Electronic Purse Specifications. In First IFIP conference on e-commerce, e-business, and e-government (13E). Kluwer, 2001.
10. J. Jürjens and G. Wimmel. Specification-based testing of firewalls. In Andrei Ershov 4th International Conference "Perspectives of System Informatics" (PSI'01), LNCS. Springer, 2001. To be published.
11. A. Pretschner, H. Lötzbeyer, and J. Philipps. Model Based Testing in Evolutionary Software Development. In Proc. 11th IEEE Intl. Workshop on Rapid System Prototyping (RSP'01), Monterey, June 2001.
12. J. Saltzer and M. Schroeder. The protection of information in computer systems. Proceedings of the IEEE, 63(9): 1278-1308, Sept. 1975.
13. G. Wimmel, H. Lötzbeyer, A. Pretschner, and O. Slotosch. Specification Based Test Sequence Generation with Prepositional Logic. Journal on Software Testing Verification and Reliability, 10, 2000.
14. G. Wimmel and A. Wißpeintner. Extended description techniques for security engineering. In IFIP SEC. Kluwer, 2001.