Reasoning about firewall policies through refinement and composition

CORA will be unavailable from 08:00- 09:00 for regular maintenance on Tuesday, 28th May 2019. Apologies for any inconvenience this may cause.

Files in this item

This item appears in the following Collection(s)

© 2017, Ultan James Neville. Except where otherwise noted, this item's license is described as © 2017, Ultan James Neville.
This website uses cookies. By using this website, you consent to the use of cookies in accordance with the UCC Privacy and Cookies Statement. For more information about cookies and how you can disable them, visit our Privacy and Cookies statement