Verification logic for secure protocols

Ruan Jian Xue Bao/Journal of Software

Volumn 11, Issue 2, 2000, Pages 213-221

  Bai, Shuo ^a   Sui, Liying ^a   Chen, Qingfeng ^a   Fu, Yan ^a   Zhuang, Chao ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; INTERNET; SECURITY OF DATA; SECURITY SYSTEMS;

NONMONOTONIC LOGIC; PROTOCOL VERIFICATION; SECURE PROTOCOL;

NETWORK PROTOCOLS;

EID: 0034138322     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (6)