G2C: Cryptographic Protocols from Goal-Driven Specifications.

Michael Backes Matteo Maffei Kim Pecina Raphael M. Reischuk

Published in: TOSCA (2011)

Keyphrases

goal driven
cryptographic protocols
service composition
standard model
software product line
formal verification
security protocols
semantic web services
real time
authentication protocol
locally decodable codes
object oriented
business processes