Title of article :
Security protocols: from linear to classical logic by abstract interpretation
Author/Authors :
Bruno Blanchet، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2005
Pages :
7
From page :
473
To page :
479
Keywords :
Abstract interpretation , formal methods , Classical logic , Cryptographic protocols , Linear logic
Journal title :
Information Processing Letters
Serial Year :
2005
Journal title :
Information Processing Letters
Record number :
130124
Link To Document :
بازگشت