Export Citations
1 Results for: Keyword: dynamic runtime verification
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,854,947 records)|Limit your search to The ACM Full-Text Collection (777,510 records)
Select All
- research-articleNovember 2014
Efficient runtime-enforcement techniques for policy weaving
FSE 2014: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software EngineeringPages 224–234https://doi.org/10.1145/2635868.2635907Policy weaving is a program-transformation technique that rewrites a program so that it is guaranteed to be safe with respect to a stateful security policy. It utilizes (i) static analysis to identify points in the program at which policy violations ...