Security Engineering for Lifelong Evolvable Systems

Optimizing IRM with Automata Modulo Theory

TitleOptimizing IRM with Automata Modulo Theory
Publication TypeConference Paper
Year of Publication2009
AuthorsMassacci, F., and I. Siahaan
Conference NameIn the 5th International Workshop on Security and Trust Management (STM 2009), in conjunction with ESORICS 2009
Conference LocationSaint-Malo