Formal security analysis of electronic software distribution systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5219 LNCS, Issue , 2008, Pages 415-428

  Maidl, Monika ^a   Von Oheimb, David ^a   Hartmann, Peter ^b   Robinson, Richard ^c  

^a SIEMENS AG   (Germany)

^b UNIVERSITY OF APPLIED SCIENCES   (Germany)

^c BOEING COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRIC POWER DISTRIBUTION; FORMAL METHODS; LOCAL AREA NETWORKS; RELIABILITY; SECURITY OF DATA; TELECOMMUNICATION NETWORKS;

CERTIFICATION COSTS; COMMON CRITERION; CORE COMPONENTS; ELECTRONIC SOFTWARE DISTRIBUTIONS; FORMAL SECURITY ANALYSES; HIGH CONFIDENCES; INSECURE NETWORKS; MEDICAL INSTRUMENTS; SOFTWARE DISTRIBUTIONS; VALIDATION AND VERIFICATIONS;

COMPUTER SOFTWARE;

EID: 56449103278     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87698-4_34     Document Type: Conference Paper

References (8)

1. Armando, A., von Oheimb, D., et al.: The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576. Springer, Heidelberg (2005)
2. AVISPA project homepage (2005), http://www.avispa-project.org/
3. Blanchet, B.: From Secrecy to Authenticity in Security Protocols. In: Hermenegildo, M., Puebla, G. (eds.) SAS 2002. LNCS, vol. 2477, pp. 342-359. Springer, Heidelberg (2002)
4. Bodei, C., Buchholtz, M., Degano, P., Nielson, H.R., Nielson, F.: Static validation of security protocols. Journal of Computer Security 13(3), 347-390 (2005)
5. Common Criteria, http://www.commoncriteriaportal.org/
6. Dolev, D., Yao, A.: On the Security of Public-Key Protocols. IEEE Transactions on Information Theory 29(2), 198-208 (1983)
7. Hartmann, P., Tappe, J., von Oheimb, D.: Asset Signer Verifier Protection Profile, Available upon request (2008)
8. Robinson, R., Li, M., Lintelman, S., Sampigethaya, K., Poovendran, R., von Oheimb, D., Bußer, J., Cuellar, J.: Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol. 4680, pp. 28-39. Springer, Heidelberg (2007)