Login / Signup

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

Johannes GrünbauerHelia HollmannJan JürjensGuido Wimmel
Published in: SAFECOMP (2003)
Keyphrases
  • security protocols
  • information systems
  • artificial intelligence