Publications
] Filters: Author is I. Siahaan [Clear All Filters]
"Optimizing IRM with Automata Modulo Theory",
In the 5th International Workshop on Security and Trust Management (STM 2009), in conjunction with ESORICS 2009, Saint-Malo, 2009.
|
Security Engineering for Lifelong Evolvable Systems
|
|
