Titel

Merkliste
1 Ergebnisse

Verification of internet protocol properties using cooperat..:

, In: Proceedings of the 12th International Conference on Security of Information and Networks,

Levonevskiy, Dmitriy ; Novikov, Fedor ; Fedorchenko, Ludmila. - p. 1-4 , 2019

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

RT 
T1 <cTitle>Proceedings of the 12th International Conference on Security of Information and Networks</cTitle>: T1 <Title>Verification of internet protocol properties using cooperating automaton objects</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3357639&Exemplar=1&LAN=DE
				
A1 Levonevskiy, Dmitriy
A1 Novikov, Fedor
A1 Fedorchenko, Ludmila
A1 Afanasieva, Irina
PB ACM
YR 2019
K1 automata based programming
K1 behavior model
K1 network protocols
K1 secure behavior
K1 security of distributed systems
K1 verification
K1 Security and privacy
K1 Systems security
K1 Distributed systems security
K1 Software and its engineering
K1 Software notations and tools
K1 System description languages
K1 System modeling languages
K1 Software and application security
K1 Software security engineering
K1 Networks
K1 Network properties
K1 Network reliability
SP 1
OP 4
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3357613.3357639
DO https://dl.acm.org/doi/10.1145/3357613.3357639
SF ELIB - SuUB Bremen

Export

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