مرکز منطقه ای اطلاع رساني علوم و فناوري - Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols

Title of article :

Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols

Author/Authors :

John Mullins، نويسنده , , Stéphane Lafrance، نويسنده ,

Issue Information :

ماهنامه با شماره پیاپی سال 2002

Pages :

From page :

779

To page :

790

Keywords :

Non-interference , Bisimulation , Model-checking , Cryptographic protocols

Journal title :

Information and Software Technology

Serial Year :

2002

Journal title :

Information and Software Technology

Record number :

134982

Link To Document :