Keyword :  network security


Security Verification of Real-Time Cryptographic Protocols Using a Rewriting Approach
Takehiko TANAKA Yuichi KAJI Hajime WATANABE Toyoo TAKATA Tadao KASAMI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/04/25
Vol. E81-D  No. 4 ; pp. 355-363
Type of Manuscript:  PAPER
Category: Software Theory
Keyword: 
security verificationcryptographic protocoltimestampconditional term rewriting system network security
 Summary | Full Text:PDF(893KB)