Modeling runtime enforcement with mandatory results automata.
Saved in:
| Title: | Modeling runtime enforcement with mandatory results automata. |
|---|---|
| Authors: | Dolzhenko, Egor, edolzhen@mail.usf.edu, Ligatti, Jay1, ligatti@cse.usf.edu, Reddy, Srikar1, sreddy4@cse.usf.edu |
| Source: | International Journal of Information Security; Feb2015, Vol. 14 Issue 1, p47-60, 14p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!