Modelling and Verification of Layered Security Protocols: A Bank Application.

Johannes Grnbauer, Helia Hollmann, Jan Jrjens, Guido Wimmel

Browse the full SAFECOMP paper archive.