Optimizing IRM with Automata Modulo Theory
Submitted by UNITN on Mon, 2009-12-07 16:07
| Title | Optimizing IRM with Automata Modulo Theory |
| Publication Type | Conference Paper |
| Year of Publication | 2009 |
| Authors | Massacci, F., and I. Siahaan |
| Conference Name | In the 5th International Workshop on Security and Trust Management (STM 2009), in conjunction with ESORICS 2009 |
| Conference Location | Saint-Malo |
»
- Login to post comments
- XML
- BibTex
- Google Scholar
