TY - GEN
T1 - Formal correctness of conflict detection for firewalls
AU - Capretta, Venanzio
AU - Stepien, Bernard
AU - Felty, Amy
AU - Matwin, Stan
N1 - Funding Information:
∗ This research is funded by the EU project FP7-231620 HATS: Highly Adaptable and Trustworthy Software using Formal Models.
Funding Information:
This research is funded by the EU project FP7-231620 HATS: Highly Adaptable and Trustworthy Software using Formal Models.
PY - 2007
Y1 - 2007
UR - http://www.scopus.com/inward/record.url?scp=77952368110&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77952368110&partnerID=8YFLogxK
U2 - 10.1145/1314436.1314440
DO - 10.1145/1314436.1314440
M3 - Conference contribution
AN - SCOPUS:77952368110
SN - 9781595938879
T3 - FMSE'07 - Proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering
SP - 22
EP - 30
BT - FMSE'07 - Proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering
T2 - 5th ACM Workshop on Formal Methods in Security Engineering, FMSE 2007
Y2 - 2 November 2007 through 2 November 2007
ER -