Automated refinement of security protocols

A.M. Hagalisletto
2006 Proceedings 20th IEEE International Parallel & Distributed Processing Symposium  
The design of security protocols is usually performed manually by pen and paper, by experts in security. Assumptions are rarely specified explicitly. We present a new way to approach security specification: The protocol is refined fully automated into a specification that contains assumptions sufficient to execute the protocol. As a result, the protocol designer using our method does not have to be a security expert to design a protocol, and can learn immediately how the protocol should work in
more » ... ocol should work in practice.
doi:10.1109/ipdps.2006.1639686 dblp:conf/ipps/Hagalisletto06 fatcat:4fpydrrofrd3vnfqwkra22quia