Titel

Merkliste
1 Ergebnisse

Learning Security Classifiers with Verified Global Robustne..:

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

Chen, Yizheng ; Wang, Shiqi ; Qin, Yue... - p. 477-494 , 2021

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

RT 
T1 <cTitle>Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security</cTitle>: T1 <Title>Learning Security Classifiers with Verified Global Robustness Properties</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3484776&Exemplar=1&LAN=DE
				
A1 Chen, Yizheng
A1 Wang, Shiqi
A1 Qin, Yue
A1 Liao, Xiaojing
A1 Jana, Suman
A1 Wagner, David
PB ACM
YR 2021
K1 adversarial machine learning
K1 formal verification
K1 global robustness properties
K1 security classifier
K1 verifiable machine learning
K1 Security and privacy
K1 Formal methods and theory of security
K1 Logic and verification
K1 Computing methodologies
K1 Machine learning
K1 Machine learning algorithms
K1 Machine learning approaches
K1 Logical and relational learning
K1 Network security
K1 Rule learning
K1 Intrusion/anomaly detection and malware mitigation
K1 Malware and its mitigation
K1 Software and application security
K1 Social network security and privacy
SP 477
OP 494
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3460120.3484776
DO https://dl.acm.org/doi/10.1145/3460120.3484776
SF ELIB - SuUB Bremen

Export

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