Formal verification of a type flaw attack on a security protocol using object-z

Long, B. W. (2005). Formal verification of a type flaw attack on a security protocol using object-z. In: H. Treharne, S. King, M. Henson and S. Schneider, ZB2005: Formal Specification and development in Z and B. 4th International Conference of B and Z Users, Guidford, UK, (319-333). 13-15 April, 2005.


Author Long, B. W.
Title of paper Formal verification of a type flaw attack on a security protocol using object-z
Conference name 4th International Conference of B and Z Users
Conference location Guidford, UK
Conference dates 13-15 April, 2005
Proceedings title ZB2005: Formal Specification and development in Z and B   Check publisher's open access policy
Journal name Lecture Notes in Computer Science   Check publisher's open access policy
Place of Publication Germany
Publisher Springer
Publication Year 2005
Sub-type Fully published paper
ISSN 0302-9743
Editor H. Treharne
S. King
M. Henson
S. Schneider
Volume 3455
Start page 319
End page 333
Total pages 15
Collection year 2005
Subjects E1
280302 Software Engineering
700199 Computer software and services not elsewhere classified
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Thu, 23 Aug 2007, 20:39:00 EST