Titel

Merkliste
1 Ergebnisse

Model learning and model checking of SSH implementations:

, In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software,

Fiterău-Broştean, Paul ; Lenaerts, Toon ; Poll, Erik... - p. 142-151 , 2017

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

RT 
T1 <cTitle>Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software</cTitle>: T1 <Title>Model learning and model checking of SSH implementations</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3092289&Exemplar=1&LAN=DE
				
A1 Fiterău-Broştean, Paul
A1 Lenaerts, Toon
A1 Poll, Erik
A1 de Ruiter, Joeri
A1 Vaandrager, Frits
A1 Verleg, Patrick
PB ACM
YR 2017
K1 Model checking
K1 Model learning
K1 SSH protocol
K1 Networks
K1 Network protocols
K1 Protocol correctness
K1 Theory of computation
K1 Theory and algorithms for application domains
K1 Machine learning theory
K1 Active learning
K1 Software and its engineering
K1 Software organization and properties
K1 Software functional properties
K1 Formal methods
K1 Model checking
K1 Security and privacy
K1 Formal methods and theory of security
K1 Logic and verification
K1 Network security
SP 142
OP 151
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3092282.3092289
DO https://dl.acm.org/doi/10.1145/3092282.3092289
SF ELIB - SuUB Bremen

Export

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