Metadata only
Date
2011-09Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Journal / series
ACM Transactions on Information and System SecurityVolume
Pages / Article No.
Publisher
Association for Computing MachinerySubject
Security; Verification; Interactive theorem proving; Formal models; Protocol verification; Wireless networksOrganisational unit
03634 - Basin, David / Basin, David
03755 - Capkun, Srdan / Capkun, Srdan
Notes
Received October 2010, Revised March 2011, Accepted April 2011.More
Show all metadata
ETH Bibliography
yes
Altmetrics