IEEE - Institute of Electrical and Electronics Engineers, Inc. - Revisiting enforceable security policies

2008 Third International Conference on Risks and Security of Internet and Systems (CRiSIS 2008)

Author(s): N. Nagatou
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2008
Conference Location: Tozeur, Tunisia
Conference Date: 28 October 2008
Page(s): 227 - 234
ISBN (Paper): 978-1-4244-3309-4
DOI: 10.1109/CRISIS.2008.4757483
Regular:

We algebraically characterize a class of enforceable security policies by execution monitoring using a modal logic. We regard monitors as processes in Milnerpsilas CCS and security policies as... View More

Advertisement