Proving Secrecy is Easy Enough

Véronique Cortier, Jonathan K. Millen, Harald Rueß. Proving Secrecy is Easy Enough. In 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 11-13 June 2001, Cape Breton, Nova Scotia, Canada. pages 97, IEEE Computer Society, 2001. [doi]

Abstract

Abstract is missing.