Titel

Merkliste
1 Ergebnisse

Seems Legit : Automated Analysis of Subtle Attacks on Pr..:

, In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security,

Jackson, Dennis ; Cremers, Cas ; Cohn-Gordon, Katriel. - p. 2165-2180 , 2019

Link: https://dl.acm.org/doi/10.1145/3319535.3339813

RT 
T1 <cTitle>Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security</cTitle>: T1 <Title>Seems Legit				: Automated Analysis of Subtle Attacks on Protocols that Use Signatures</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3339813&Exemplar=1&LAN=DE
				
A1 Jackson, Dennis
A1 Cremers, Cas
A1 Cohn-Gordon, Katriel
A1 Sasse, Ralf
PB ACM
YR 2019
K1 automated analysis
K1 digital signatures
K1 formal verification
K1 proverif
K1 security protocols
K1 symbolic model
K1 tamarin prover
K1 Networks
K1 Network protocols
K1 Protocol correctness
K1 Protocol testing and verification
K1 Security and privacy
K1 Network security
K1 Security protocols
K1 Theory of computation
K1 Computational complexity and cryptography
K1 Cryptographic protocols
K1 Formal methods and theory of security
K1 Formal security models
K1 Logic and verification
K1 Cryptography
K1 Public key (asymmetric) techniques
K1 Digital signatures
SP 2165
OP 2180
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3319535.3339813
DO https://dl.acm.org/doi/10.1145/3319535.3339813
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)