Sign in
Facet browsing currently unavailable
Page 1 of 1 results
Sort by: relevance publication year
Showing DOI matching
10.1016/S0140-3664(99)00030-4
|
Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification JOURNAL ARTICLE published May 1999 in Computer Communications |