Metadata only
Date
2015Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Journal / series
IEEE Security & PrivacyVolume
Pages / Article No.
Publisher
IEEESubject
Standards; Network Protocols; Security; Protocol Verification; Formal MethodsOrganisational unit
03634 - Basin, David / Basin, David
More
Show all metadata
ETH Bibliography
yes
Altmetrics