Sebastian Mödersheim
2 published titles
Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1 2011 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642273742
- Springer
- 2012
- Details
Security protocol specification and verification and AnBx
(Contributor)
1 edition
- Newcastle University, Computing Science
- Details
