A Logic Specification for Usage Control Xinwen Zhang, Jaehong Park Francesco Parisi-Presicce, Ravi Sandhu George Mason University SACMAT 2004. Outline. Introduction of UCON Temporal Logic of Action (TLA) Logic Model for UCON with TLA Specification of Authorization Core Models
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
A Logic Specification for Usage ControlXinwen Zhang, Jaehong ParkFrancesco Parisi-Presicce, Ravi SandhuGeorge Mason UniversitySACMAT 2004
<s0, s1, s2,…,>
Alice.credit > $1000, file1.classification = “secure”
in((Bob, read), file2.ACL)