메뉴 건너뛰기




Volumn 5795 LNCS, Issue , 2009, Pages 77-91

Security analysis of a biometric authentication system using UMLsec and JML

Author keywords

Biometric authentication; JML; Security analysis; UMLsec

Indexed keywords

BIOMETRIC AUTHENTICATION; BIOMETRIC AUTHENTICATION SYSTEM; COMPARATIVE EVALUATIONS; CRITICAL SYSTEMS; INDUSTRIAL CONTEXT; JML ANNOTATIONS; MODEL-BASED SECURITY ANALYSIS; SECURITY ANALYSIS; SECURITY ASSURANCE; SECURITY REQUIREMENTS;

EID: 77249107213     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04425-0_7     Document Type: Conference Paper
Times cited : (11)

References (18)
  • 2
    • 77249130054 scopus 로고    scopus 로고
    • Study and development of a remote biometric authentication protocol
    • B4-04/2003, Consiglio Nazionale delle Ricerche,Istituto di Informatica e Telematica September
    • Viti, C., Bistarelli, S.: Study and development of a remote biometric authentication protocol, Technical Report IIT B4-04/2003, Consiglio Nazionale delle Ricerche,Istituto di Informatica e Telematica (September 2003)
    • (2003) Technical Report IIT
    • Viti, C.1    Bistarelli, S.2
  • 3
    • 18944394652 scopus 로고    scopus 로고
    • Modelling and Verification of Layered Security Protocols: A Bank Application
    • Anderson, S, Felici, M, Littlewood, B, eds, SAFECOMP 2003, Springer, Heidelberg
    • Grünbauer, J., Hollmann, H., Jürjens, J., Wimmel, G.: Modelling and Verification of Layered Security Protocols: A Bank Application, In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol. 2788, pp. 116-129, Springer, Heidelberg (2003)
    • (2003) LNCS , vol.2788 , pp. 116-129
    • Grünbauer, J.1    Hollmann, H.2    Jürjens, J.3    Wimmel, G.4
  • 9
    • 33845245278 scopus 로고    scopus 로고
    • Preliminary Design of JML: A Behavioural Interface Specification Language for Java
    • May
    • Leavens, G., Baker, A., Ruby, C.: Preliminary Design of JML: A Behavioural Interface Specification Language for Java. ACM SIGSOFT Software Engineering Notes 31(3) (May 2006)
    • (2006) ACM SIGSOFT Software Engineering Notes , vol.31 , Issue.3
    • Leavens, G.1    Baker, A.2    Ruby, C.3
  • 10
    • 77249159125 scopus 로고    scopus 로고
    • Leavens, G., Poll, E., Clifton, C., Cheon, Y., Ruby, C., Cok, D., Muller, P., Kiniry, J., Chalin, P.: JML Reference Manual, DRAFT, Release 1.210, 2007/7/01 Ames, Iowa State University
    • Leavens, G., Poll, E., Clifton, C., Cheon, Y., Ruby, C., Cok, D., Muller, P., Kiniry, J., Chalin, P.: JML Reference Manual, DRAFT, Release 1.210, 2007/7/01 Ames, Iowa State University
  • 11
    • 77249169521 scopus 로고    scopus 로고
    • Schmidt, R.: Modellbasierte Sicherheitsanalyse mit UMLsec: ein Biometrisches Zugangskontrollsystem (Model-based Security Analysis with UMLsec: a Biometrie Access Control System) Ludwig-Maxim. Univ. München (2004)
    • Schmidt, R.: Modellbasierte Sicherheitsanalyse mit UMLsec: ein Biometrisches Zugangskontrollsystem (Model-based Security Analysis with UMLsec: a Biometrie Access Control System) Ludwig-Maxim. Univ. München (2004)
  • 12
    • 33750060125 scopus 로고    scopus 로고
    • Model-based Security Engineering with UML
    • Aldini, A, Gorrieri, R, Martinelli, F, eds, FOSAD 2005, Springer, Heidelberg
    • Jürjens, J.: Model-based Security Engineering with UML. In: Aldini, A., Gorrieri, R., Martinelli, F. (eds.) FOSAD 2005, LNCS, vol. 3655, pp. 42-77. Springer, Heidelberg (2005)
    • (2005) LNCS , vol.3655 , pp. 42-77
    • Jürjens, J.1
  • 15
    • 84986065681 scopus 로고    scopus 로고
    • Inspections - Some Surprising Findings
    • Glass, R.: Inspections - Some Surprising Findings, Commun. ACM 42(4), 17-19 (1999)
    • (1999) Commun. ACM , vol.42 , Issue.4 , pp. 17-19
    • Glass, R.1
  • 17
    • 77249088946 scopus 로고    scopus 로고
    • JML common tools, December 10 2007
    • JML common tools, December 10 (2007), http://sourceforge.net/projects/ jmlspecs/


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.