CCS
2008
ACM
13 years 6 months ago
2008
ACM
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...