Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes.

Details

Language :

English

ISBNs :

9783662496732

Database :

Complementary Index

Journal :

Tools & Algorithms for the Construction & Analysis of Systems (9783662496732)

Publication Type :

Book

Accession number :

116052306

Full Text :

https://doi.org/10.1007/978-3-662-49674-9_36