Modeling runtime enforcement with mandatory results automata.

Saved in:

Bibliographic Details
Title:	Modeling runtime enforcement with mandatory results automata.
Authors:	Dolzhenko, Egor, edolzhen@mail.usf.edu, Ligatti, Jay¹, ligatti@cse.usf.edu, Reddy, Srikar¹, sreddy4@cse.usf.edu
Source:	International Journal of Information Security; Feb2015, Vol. 14 Issue 1, p47-60, 14p
Database:	Applied Science & Technology Source

Description
ISSN:	16155262
DOI:	10.1007/s10207-014-0239-8