Title of article :
Security Theorems via Model Theory
Author/Authors :
Joshua D. Guttman، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2009
Pages :
15
From page :
51
To page :
65
Abstract :
A model-theoretic approach can establish security theorems, which are formulas expressing authentication and non-disclosure properties of protocols. Security theorems have a special form, namely quantified implications W. (
Journal title :
Electronic Proceedings in Theoretical Computer Science
Serial Year :
2009
Journal title :
Electronic Proceedings in Theoretical Computer Science
Record number :
679744
Link To Document :
