Cargando…

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...

Descripción completa

Detalles Bibliográficos
Autor principal: Gorrieri, Roberto
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324258/
http://dx.doi.org/10.1007/978-3-030-51831-8_7

Ejemplares similares