Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Infinite-step opacity and K-step opacity of stochastic discrete-event systems |
scientific article; zbMATH DE number 7012255
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems |
scientific article; zbMATH DE number 7012255 |
Statements
Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (English)
0 references
5 February 2019
0 references
discrete-event systems
0 references
security
0 references
infinite-step opacity
0 references
\(K\)-step opacity
0 references
0 references
0 references
0 references
0 references
0 references
0.89324546
0 references
0.87736726
0 references
0.87245524
0 references
0.87232095
0 references
0.86170924
0 references
0.8599272
0 references
0.8555746
0 references
0.85346675
0 references
0.8497555
0 references
