111
click to vote
ASM
2008
ASM
15 years 4 months ago
2008
ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...