DMCA

Modelling and Verification of Layered Security Protocols: A Bank Application (2003)

by Johannes Grünbauer , Helia Hollmann , Jan Jürjens , Guido Wimmel
Venue:In Computer Safety, Reliability, and Security (SAFECOMP 2003), volume 2788 of LNCS
Citations:8 - 3 self