Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

CSREASAM
2003

favoriteEmaildiscussreport

94views Security Privacy» more CSREASAM 2003»

The Case for Abstracting Security Policies

13 years 6 months ago

The Case for Abstracting Security Policies

Download www.cl.cam.ac.uk

Anil Madhavapeddy, Alan Mycroft, David Scott, Rich

Real-time Traffic

CSREASAM 2003 | CSREASAM 2007 |

claim paper

Related Content

» A Test Calculus Framework Applied to Network Security Policies

» Abstract task specifications for conversation policies

» MultiLevel Security in Multiagent Systems

» Security Policy Enforcement Through Refinement Process

» Learning Autonomic Security Reconfiguration Policies

» Information flow control for standard OS abstractions

» Validation of Policy Integration Using Alloy

» Testing Security Policies Going Beyond Functional Testing

» Negotiation of Prohibition An Approach Based on Policy Rewriting

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2003
Where	CSREASAM
Authors	Anil Madhavapeddy, Alan Mycroft, David Scott, Richard Sharp

Comments (0)