مرکز منطقه ای اطلاع رساني علوم و فناوري - Verification of security protocols using LOTOS-method and application

Title of article :

Verification of security protocols using LOTOS-method and application

Author/Authors :

G. Leduc، نويسنده , , F. Germeau، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2000

Pages :

From page :

1089

To page :

1103

Keywords :

Security protocol , LOTOS , Model-checking , Protocol verification

Journal title :

Computer Communications

Serial Year :

2000

Journal title :

Computer Communications

Record number :

309212

Link To Document :