Formal Correctness of Conflict Detection for Firewalls
New York, N. Y. : ACM
InThe 5th ACM Workshop on Formal Methods in Security Engineering: From Specification to Code, pp. 22-30
Article in monograph or in proceedings
Display more detailsDisplay less details
The 5th ACM Workshop on Formal Methods in Security Engineering: From Specification to Code
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.