A Sound Decision Procedure for the Compositionality of Secrecy
Submitted by TUD on Fri, 2012-01-27 11:57
| Title | A Sound Decision Procedure for the Compositionality of Secrecy |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Ochoa, M., J. Jürjens, and D. Warzecha |
| Conference Name | 4th International Symposium on Engineering Secure Software and Systems (ESSOS 2012) |
| Publisher | Springer |
»
- Login to post comments
- XML
- BibTex
- Google Scholar
