Ładuje się......
Interleaving vs True Concurrency: Some Instructive Security Examples
Information flow security properties were defined some years ago in terms of suitable equivalence checking problems. These definitions were provided by using sequential models of computations (e.g., labeled transition systems [17, 26]), and interleaving behavioral equivalences (e.g., bisimulation eq...
Zapisane w:
| Wydane w: | Application and Theory of Petri Nets and Concurrency |
|---|---|
| 1. autor: | |
| Format: | Artigo |
| Język: | Inglês |
| Wydane: |
2020
|
| Hasła przedmiotowe: | |
| Dostęp online: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7324258/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51831-8_7 |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|