G2C: Cryptographic Protocols from Goal-Driven Specifications

Backes, Michael and Maffei, Matteo and Pecina, Kim and Reischuk, Raphael M.
(2011) G2C: Cryptographic Protocols from Goal-Driven Specifications.
In: TOSCA'11: Proceedings of the 2011 International Conference on Theory of Security and Applications (now POST), held as part of ETAPS 2011.
Conference: None | Not Set

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item