scientific article; zbMATH DE number 1956551

MaRDI QIDQ4417890zbMATH OpenFDO

Authors Pablo Giambiagi, Mads Dam

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2618/26180144.htm

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On the secure implementation of security protocols
• Secrecy by typing in security protocols
• Formally sound implementations of security protocols with JavaSPI
• Secure protocol composition
• scientific article; zbMATH DE number 1500645

Cited in

(6)

• On the secure implementation of security protocols
• Security Protocols: Principles and Calculi
• scientific article; zbMATH DE number 1330435 (Why is no real title available?)
• scientific article; zbMATH DE number 2112333 (Why is no real title available?)
• Sound Security Protocol Transformations
• Cryptographically-masked flows

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417890)