Titel

Merkliste
1 Ergebnisse

ARTINALI: dynamic invariant detection for cyber-physical sy..:

, In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering,

Aliabadi, Maryam Raiyat ; Kamath, Amita Ajith ; Gascon-Samson, Julien. - p. 349-361 , 2017

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

RT 
T1 <cTitle>Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering</cTitle>: T1 <Title>ARTINALI: dynamic invariant detection for cyber-physical system security</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3106282&Exemplar=1&LAN=DE
				
A1 Aliabadi, Maryam Raiyat
A1 Kamath, Amita Ajith
A1 Gascon-Samson, Julien
A1 Pattabiraman, Karthik
PB ACM
YR 2017
K1 CPS
K1 Cyber Physical System
K1 Multi-dimensional model
K1 Security
K1 Software Engineering
K1 Security and privacy
K1 Intrusion/anomaly detection and malware mitigation
K1 Intrusion detection systems
K1 Software and its engineering
K1 Software organization and properties
K1 Software system structures
K1 Real-time systems software
K1 Software and application security
K1 Software security engineering
K1 Domain-specific security and privacy architectures
SP 349
OP 361
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3106237.3106282
DO https://dl.acm.org/doi/10.1145/3106237.3106282
SF ELIB - SuUB Bremen

Export

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