![]() |
Volumn , Issue , 2012, Pages 6722-6728
|
Enforcement of opacity properties using insertion functions
|
Author keywords
[No Author keywords available]
|
Indexed keywords
AUTOMATIC IDENTIFICATION;
DISCRETE EVENT SIMULATION;
ENFORCEMENT MECHANISMS;
INSERTION FUNCTION;
NETWORKED SYSTEMS;
SECURITY PROPERTIES;
STATE TRANSITIONS;
OPACITY;
|
EID: 84874238258
PISSN: 07431546
EISSN: 25762370
Source Type: Conference Proceeding
DOI: 10.1109/CDC.2012.6426760 Document Type: Conference Paper |
Times cited : (19)
|
References (15)
|