Skip to main navigation
Skip to search
Skip to main content
Experts@Syracuse Home
Help & FAQ
Home
Profiles
Research Units
Equipment
Grants
Research output
Activities
Press and Media
Prizes
Search by expertise, name or affiliation
Formal methods for assuring security of protocols
Susan Older
,
Shiu Kai Chin
Department of Electrical Engineering & Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
7
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Formal methods for assuring security of protocols'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Formal methods
100%
Network protocols
58%