Titel

Merkliste
1 Ergebnisse

Corrective Enforcement : A New Paradigm of Security Poli..:

Khoury, Raphaël ; Tawbi, Nadia
ACM Transactions on Information and System Security (TISSEC). 15 (2012) 2 - p. 1-27 , 2012

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

RT Journal
T1 <Title>Corrective Enforcement				: A New Paradigm of Security Policy Enforcement by Monitors</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-2240281&Exemplar=1&LAN=DE
				
A1 Khoury, Raphaël
A1 Tawbi, Nadia
PB ACM
YR 2012
SN 1094-9224
SN 1557-7406
K1 Monitoring
K1 dynamic analysis
K1 program transformation
K1 runtime monitors
K1 security policies enforcement
K1 Software and its engineering
K1 Software organization and properties
K1 Software functional properties
K1 Correctness
K1 Access protection
K1 Security and privacy
K1 Software and application security
K1 Software security engineering
K1 Systems security
K1 Operating systems security
K1 Information systems
K1 Data management systems
K1 Middleware for databases
K1 Distributed transaction monitors
K1 Contextual software domains
K1 Operating systems
K1 Process management
K1 Monitors
K1 Software creation and management
K1 Designing software
K1 Software verification and validation
K1 General and reference
K1 Cross-computing tools and techniques
K1 Validation
K1 Process validation
K1 Formal software verification
K1 Formal methods
K1 Requirements analysis
K1 Verification
K1 Theory of computation
K1 Formal languages and automata theory
K1 Empirical software validation
JF ACM Transactions on Information and System Security (TISSEC)
VO 15
IS 2
SP 1
OP 27
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/2240276.2240281
DO https://dl.acm.org/doi/10.1145/2240276.2240281
SF ELIB - SuUB Bremen

Export

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