Cited By
View all- Dechesne FWang Y(2010)To know or not to know: epistemic approaches to security protocol verificationSynthese10.1007/s11229-010-9765-8177:S1(51-76)Online publication date: 24-Aug-2010
- Lozes ÉVillard J(2010)A spatial equational logic for the applied π-calculusDistributed Computing10.1007/s00446-010-0112-623:1(61-83)Online publication date: 13-Jul-2010
- Backes MMaffei MUnruh D(2008)Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol2008 IEEE Symposium on Security and Privacy (sp 2008)10.1109/SP.2008.23(202-215)Online publication date: May-2008