مرکز منطقه ای اطلاع رساني علوم و فناوري - Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification

Title of article :

Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification

Author/Authors :

S. Gritzalis، نويسنده , , D. Spinellis، نويسنده , , P. Georgiadis، نويسنده ,

Issue Information :

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

Pages :

From page :

697

To page :

709

Keywords :

Protocol analysis tools , Security protocols , Cryptographic protocols , formal methods

Journal title :

Computer Communications

Serial Year :

1999

Journal title :

Computer Communications

Record number :

308993

Link To Document :