Inproceedings,

Proving Secrecy is Easy Enough.

, , and .
CSFW, page 97-108. IEEE Computer Society, (2001)

Meta data

Tags

Users

  • @dblp

Comments and Reviews