Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 1 results
Sort by: relevance publication year

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

JOURNAL ARTICLE published May 1999 in Computer Communications

Authors: S Gritzalis | D Spinellis | P Georgiadis