Search results for "security policies"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Fred B. Schneider	Enforceable security policies.	ACM Trans. Inf. Syst. Secur.	2000	DBLP DOI BibTeX RDF	EM security policies, SASI, security policies, proof carrying code, safety properties, security automata, inlined reference monitors
3	David A. Basin, Felix Klaedtke, Samuel Müller	Monitoring security policies with metric first-order temporal logic.	SACMAT	2010	DBLP DOI BibTeX RDF	access control, monitoring, temporal logic, security policies, compliance, separation of duty, usage control
3	Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Ilaria Matteucci, Paolo Mori	Controlling Usage in Business Process Workflows through Fine-Grained Security Policies.	TrustBus	2008	DBLP DOI BibTeX RDF	Fine-grained Security Policies, Workflow Monitoring, Business Processes
3	Roland Rieke	Modelling and Analysing Network Security Policies in a Given Vulnerability Setting.	CRITIS	2006	DBLP DOI BibTeX RDF	attack simulation, network security policies, security modelling and simulation, risk assessment, threats analysis, critical infrastructure protection
3	Jay Ligatti, Lujo Bauer, David Walker	Edit automata: enforcement mechanisms for run-time security policies.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Run-time checking and monitoring, Classification of security policies, Language-based security, Security automata
3	Lujo Bauer, Jay Ligatti, David Walker	Composing security policies with polymer.	PLDI	2005	DBLP DOI BibTeX RDF	composable security policies, run-time enforcement, security automata, program monitors, edit automata
3	Stephen Chong, Andrew C. Myers	Security policies for downgrading.	ACM Conference on Computer and Communications Security	2004	DBLP DOI BibTeX RDF	information flow, security policies, noninterference, declassification, downgrading
3	Elisa Bertino, Silvana Castano, Elena Ferrari	On specifying security policies for web documents with an XML-based language.	SACMAT	2001	DBLP DOI BibTeX RDF	subject credentials, XML, XML, access control, security policies
3	André L. M. dos Santos, Richard A. Kemmerer	Implementing Security Policies using the Safe Areas of Computation Approach.	ACSAC	2000	DBLP DOI BibTeX RDF	Safe Areas of Computation approach, business costs, SAC approach, Internet, Internet, World Wide Web, digital libraries, digital libraries, security policies, authorisation, information resources, telecommunication security, bank data processing, access control lists, online banks
3	K. A. Oostendorp, Lee Badger, C. D. Vance, W. G. Morrison, M. Petkac, David L. Sherman, Daniel F. Sterne	Domain and Type Enforcement Firewalls.	ACSAC	1997	DBLP DOI BibTeX RDF	type enforcement firewalls, Internet connected organizations, Internet firewall, system penetration, business practices, external entities, Domain and Type Enforcement, DTE firewall, application level proxies, restrictive domains, network based attacks, local resources, role based security policies, DTE security attributes, DTE clients, Internet, access control, security policies, HTTP, servers, network services, security breaches, FTP
2	Marco Casassa Mont, Richard Brown	Risk Assessment and Decision Support for Security Policies and Related Enterprise Operational Processes.	POLICY	2011	DBLP DOI BibTeX RDF	Security Analytics, Simulation, Modelling, Decision Support, Security Policies, Risk Assessment, Access Management
2	Leo A. Meyerovich, V. Benjamin Livshits	ConScript: Specifying and Enforcing Fine-Grained Security Policies for JavaScript in the Browser.	IEEE Symposium on Security and Privacy	2010	DBLP DOI BibTeX RDF	Web and client-side programming, language security, security policies, JavaScript, aspects, browsers
2	Micah Jones, Kevin W. Hamlen	Disambiguating aspect-oriented security policies.	AOSD	2010	DBLP DOI BibTeX RDF	aspect-oriented programming, declarative languages, reference monitors
2	Shuo Tang, Chris Grier, Onur Aciiçmez, Samuel T. King	Alhambra: a system for creating, enforcing, and testing browser security policies.	WWW	2010	DBLP DOI BibTeX RDF	web browser, web security, cross-site scripting
2	Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld	A lattice-based approach to mashup security.	ASIACCS	2010	DBLP DOI BibTeX RDF	web mashups, information flow, security policies, lattices, noninterference, declassification
2	Mohammad Y. Hajjat, Xin Sun, Yu-Wei Eric Sung, David A. Maltz, Sanjay G. Rao, Kunwadee Sripanidkulchai, Mohit Tawarmalani	Cloudward bound: planning for beneficial migration of enterprise applications to the cloud.	SIGCOMM	2010	DBLP DOI BibTeX RDF	cloud computing, performance modeling, security policies, enterprise applications, network configurations
2	Lujo Bauer, Jay Ligatti, David Walker	Composing expressive runtime security policies.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	policy-specification language, policy enforcement, Policy composition
2	Nikhil Swamy, Brian J. Corcoran, Michael Hicks	Fable: A Language for Enforcing User-defined Security Policies.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	verified enforcement, access control, information flow, provenance, Language-based security
2	Andrew Myers	Guiding Distributed Systems Synthesis with Language-Based Security Policies.	FMOODS	2008	DBLP DOI BibTeX RDF
2	David M. Eyers, Sriram Srinivasan, Ken Moody, Jean Bacon	Compile-Time Enforcement of Dynamic Security Policies.	POLICY	2008	DBLP DOI BibTeX RDF	Kilim, Dynamic security constraints, compile-time security enforcement
2	Cássio Ditzel Kropiwiec, Edgard Jamhour, Manoel Camillo Penna, Guy Pujolle	Multi-constraint Security Policies for Delegated Firewall Administration.	DSOM	2008	DBLP DOI BibTeX RDF
2	Gansen Zhao, David W. Chadwick	On the Modeling of Bell-LaPadula Security Policies Using RBAC.	WETICE	2008	DBLP DOI BibTeX RDF	Bell-LaPadula Security Policies, Modelling, RBAC
2	Oluwafemi Ajayi, Richard O. Sinnott, Anthony Stell	Towards Decentralised Security Policies for e-Health Collaborations.	SECURWARE	2008	DBLP DOI BibTeX RDF
2	Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Gerardo Pelosi, Pierangela Samarati	Preserving confidentiality of security policies in data outsourcing.	WPES	2008	DBLP DOI BibTeX RDF	encryption policy, security policy protection, privacy, data outsourcing
2	Carlos Sánchez, Le Gruenwald, Mauricio Sánchez	Evaluating Security Policies in Pervasive Mobile Environments Using Context Information.	CollaborateCom	2008	DBLP DOI BibTeX RDF	context data, pervasive mobile environments, Security, risk, integrity and protection
2	Mohammad Mehdi Gilanian Sadeghi, Borhanuddin Mohd Ali, Hossein Pedram, Mehdi Dehghan, Masoud Sabaei	A New Method for Creating Efficient Security Policies in Virtual Private Network.	CollaborateCom	2008	DBLP DOI BibTeX RDF	IPsec policies, security policy, security requirement, virtual private network
2	Diego Zuquim Guimarães Garcia, Maria Beatriz Felgar de Toledo	Ontology-Based Security Policies for Supporting the Management of Web Service Business Processes.	ICSC	2008	DBLP DOI BibTeX RDF	security, Web service, business process
2	Robert W. Reeder, Lujo Bauer, Lorrie Faith Cranor, Michael K. Reiter, Kelli Bacon, Keisha How, Heather Strong	Expandable grids for visualizing and authoring computer security policies.	CHI	2008	DBLP DOI BibTeX RDF	expandable grid, file permissions, security, visualization, privacy
2	Ryma Abassi, Sihem Guemara El Fatmi	A Model for Specification and Validation of Security Policies in Communication Networks: The Firewall Case.	ARES	2008	DBLP DOI BibTeX RDF
2	Thomas B. Quillinan, Martijn Warnier, Michel A. Oey, Reinier J. Timmer, Frances M. T. Brazier	Enforcing security in the AgentScape middleware.	Middleware Security	2008	DBLP DOI BibTeX RDF	AgentScape, MAS, multi agent systems, agent, security policies
2	Michael R. Clarkson, Fred B. Schneider	Hyperproperties.	CSF	2008	DBLP DOI BibTeX RDF	safety, Security policies, liveness
2	Saravanan Muthaiyah, Larry Kerschberg	Virtual organization security policies: An ontology-based integration approach.	Information Systems Frontiers	2007	DBLP DOI BibTeX RDF	Security policy ontology, Security policy domain model, Ontology mapping, Semantic mapping
2	Mikko T. Siponen, Seppo Pahnila, M. Adam Mahmood	Employees' Adherence to Information Security Policies: An Empirical Study.	SEC	2007	DBLP DOI BibTeX RDF
2	Carlos Sánchez, Le Gruenwald, Mauricio Sánchez	A Monte Carlo framework to evaluate context based security policies in pervasive mobile environments.	MobiDE	2007	DBLP DOI BibTeX RDF	pervasive mobile environments, security, risk
2	Esther Guerra, Daniel Sanz, Paloma Díaz, Ignacio Aedo	A Transformation-Driven Approach to the Verification of Security Policies in Web Designs.	ICWE	2007	DBLP DOI BibTeX RDF
2	Arie Orlovsky, Danny Raz	Decentralized enforcement of security policies for distributed computational systems.	SAC	2007	DBLP DOI BibTeX RDF	security, distributed system, policy enforcment
2	Keqin Li 0002, Laurent Mounier, Roland Groz	Test Generation from Security Policies Specified in Or-BAC.	COMPSAC	2007	DBLP DOI BibTeX RDF
2	Yuichi Nakamura, Fumiko Satoh, Hyen-Vui Chung	Syntactic Validation of Web Services Security Policies.	ICSOC	2007	DBLP DOI BibTeX RDF
2	Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi	Automated Verification of Security Policies in Mobile Code.	IFM	2007	DBLP DOI BibTeX RDF
2	Yanyan Yang, Charles U. Martel, Shyhtsun Felix Wu	CLID: A general approach to validate security policies in a dynamic network.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
2	Kouichi Ono, Yuichi Nakamura, Fumiko Satoh, Takaaki Tateishi	Verifying the Consistency of Security Policies by Abstracting into Security Types.	ICWS	2007	DBLP DOI BibTeX RDF
2	Qihua Wang, Ninghui Li	Direct static enforcement of high-level security policies.	ASIACCS	2007	DBLP DOI BibTeX RDF
2	Serena Pastore	Distributed and local security policies for grid web-based resources.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
2	Scott F. Smith, Mark Thober	Improving usability of information flow security in java.	PLAS	2007	DBLP DOI BibTeX RDF	java, security policies, type inference, declassification, information flow security
2	Tom Ritter, Rudolf Schreiner, Ulrich Lang	Integrating Security Policies via Container Portable Interceptors.	IEEE Distributed Systems Online	2006	DBLP DOI BibTeX RDF	Corba portable interceptors, policy management framework, container portable interceptors, security, authentication, access controls, management, distributed applications, client/server, information flow controls, Corba component model
2	Denis Verdon	Security policies and the software developer.	IEEE Security & Privacy	2006	DBLP DOI BibTeX RDF
2	Anna V. Álvarez, Karen A. García, Raul Monroy, Luis A. Trejo, Jesús Vázquez	A Tool for Managing Security Policies in Organisations.	IWSEC	2006	DBLP DOI BibTeX RDF
2	Kuong-Ho Chen, Yuan-Siao Liu, Tzong-Jye Liu, Chyi-Ren Dow	ZERO-Conflict: A Grouping-Based Approach for Automatic Generation of IPSec/VPN Security Policies.	DSOM	2006	DBLP DOI BibTeX RDF	IP security, network management, security policy, security requirement, policy conflict
2	William Claycomb, Dongwan Shin	Mobile-driven architecture for managing enterprise security policies.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	enterprise security management, mobile solution, authentication, access control, security policy, audit
2	Ian Welch, Fan Lu	Policy-driven reflective enforcement of security policies.	SAC	2006	DBLP DOI BibTeX RDF	reflection, security policies
2	Fernando Náufel do Amaral, Carlos Bazílio, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, Edward Hermann Haeusler	An Ontology-based Approach to the Formalization of Information Security Policies.	EDOC Workshops	2006	DBLP DOI BibTeX RDF
2	Vijayalakshmi Atluri, Heechang Shin	Efficient Enforcement of Security Policies Based on Tracking of Mobile Users.	DBSec	2006	DBLP DOI BibTeX RDF
2	Muhammad Abedin, Syeda Nessa, Ehab Al-Shaer, Latifur Khan	Vulnerability analysis For evaluating quality of protection of security policies.	QoP	2006	DBLP DOI BibTeX RDF	security, evaluation, metric, policy
2	Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi	Execution monitoring enforcement for limited-memory systems.	PST	2006	DBLP DOI BibTeX RDF	bounded history automata, enforcement mechanisms, locally-testable properties, security policies, execution monitoring, edit automata
2	Ted Huffmire, Shreyas Prasad, Timothy Sherwood, Ryan Kastner	Policy-Driven Memory Protection for Reconfigurable Hardware.	ESORICS	2006	DBLP DOI BibTeX RDF	Embedded Systems, Computer Security, Security Policies, Policy Languages, Reference Monitors, Separation Kernels
2	Jonathan D. Pincus, Jeannette M. Wing	Towards an Algebra for Security Policies.	ICATPN	2005	DBLP DOI BibTeX RDF
2	Helge Janicke, François Siewe, Kevin Jones, Antonio Cau, Hussein Zedan	Analysis and Run-Time Verification of Dynamic Security Policies.	DAMAS	2005	DBLP DOI BibTeX RDF
2	Andrew C. Myers	Programming with Explicit Security Policies.	ESOP	2005	DBLP DOI BibTeX RDF
2	Carl E. Landwehr	Green Computing.	IEEE Security & Privacy	2005	DBLP DOI BibTeX RDF	interfaces, security policies, green computing
2	Jung-Seuk Lee, Jun-Cheol Jeon, Kee-Young Yoo	A security scheme for protecting security policies in firewall.	Operating Systems Review	2004	DBLP DOI BibTeX RDF	security policy, firewall, ubiquitous environment, cryptographic algorithm
2	Michael McDougall, Rajeev Alur, Carl A. Gunter	A model-based approach to integrating security policies for embedded devices.	EMSOFT	2004	DBLP DOI BibTeX RDF	policy integration, smartcards, model based design, Java cards
2	Patrick Brézillon, Ghita Kouadri Mostéfaoui	Context-Based Security Policies: A New Modeling Approach.	PerCom Workshops	2004	DBLP DOI BibTeX RDF
2	Suranjan Pramanik, Vidyaraman Sankaranarayanan, Shambhu J. Upadhyaya	Security Policies to Mitigate Insider Threat in the Document Control Domain.	ACSAC	2004	DBLP DOI BibTeX RDF
2	Bogdan C. Popescu, Bruno Crispo, Andrew S. Tanenbaum	Support for multi-level security policies in DRM architectures.	NSPW	2004	DBLP DOI BibTeX RDF
2	Pieter H. Hartel, Pascal van Eck, Sandro Etalle, Roel Wieringa	Modelling Mobility Aspects of Security Policies.	CASSIS	2004	DBLP DOI BibTeX RDF
2	Chiu-Man Yu, Kam-Wing Ng	A Dynamic Management Framework for Security Policies in Open Grid Computing Environments.	GCC	2004	DBLP DOI BibTeX RDF
2	David Scott, Richard Sharp	Specifying and Enforcing Application-Level Web Security Policies.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	Application-level Web security, security policy description languages, component-based design
2	Saad Haj Bakry	Development of security policies for private networks.	Int. Journal of Network Management	2003	DBLP DOI BibTeX RDF	Internet
2	Spyros Kokolakis, Costas Lambrinoudakis, Dimitris Gritzalis	A Knowledge-Based Repository Model for Security Policies Management.	MMM-ACNS	2003	DBLP DOI BibTeX RDF
2	Pedro Dias, Carlos Ribeiro, Paulo Ferreira	Enforcing History-Based Security Policies in Mobile Agent Systems.	POLICY	2003	DBLP DOI BibTeX RDF
2	Xiaodong Yi, Xuejun Yang	A Security Verification Method for Information Flow Security Policies Implemented in Operating Systems.	ICICS	2003	DBLP DOI BibTeX RDF	Information Flow Security Policy, Security Verification, Secure Operating System
2	David Scott, Alastair R. Beresford, Alan Mycroft	Spatial Security Policies for Mobile Agents in a Sentient Computing Environment.	FASE	2003	DBLP DOI BibTeX RDF
2	Bogdan C. Popescu, Bruno Crispo, Andrew S. Tanenbaum, Maas Zeeman	Enforcing Security Policies for Distributed Objects Applications.	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
2	Daniele Gorla, Rosario Pugliese	Enforcing Security Policies via Types.	SPC	2003	DBLP DOI BibTeX RDF
2	Håkan Kvarnström, Hans Hedbom, Erland Jonsson	Protecting Security Policies in Ubiquitous Environments Using One-Way Functions.	SPC	2003	DBLP DOI BibTeX RDF
2	Takuo Watanabe, Kiyoshi Yamada, Naoyuki Nagatou	Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances.	WSTFEUS	2003	DBLP DOI BibTeX RDF
2	R. Sekar, V. N. Venkatakrishnan, Samik Basu, Sandeep Bhatkar, Daniel C. DuVarney	Model-carrying code: a practical approach for safe execution of untrusted applications.	SOSP	2003	DBLP DOI BibTeX RDF	sand-boxing, security policies, policy enforcement, mobile code security
2	Paulo Ferreira, Luís Veiga, Carlos Ribeiro	OBIWAN: Design and Implementation of a Middleware Platform.	IEEE Trans. Parallel Distrib. Syst.	2003	DBLP DOI BibTeX RDF	Middleware, mobile agents, replication, security policies, distributed garbage collection
2	Andrei Sabelfeld, Andrew C. Myers	A Model for Delimited Information Release.	ISSS	2003	DBLP DOI BibTeX RDF	Computer security, information flow, security policies, confidentiality, noninterference, declassification, security-type systems
2	Jong-Young Koh, Mi Ra Yi, Tae Ho Cho, Hyung-Jong Kim, Hong-Geun Kim	Knowledge-Based Modeling and Simulation of Network Access Control Mechanisms Representing Security Policies.	ICICS	2002	DBLP DOI BibTeX RDF
2	Rasool Jalili, Mohsen Rezvani	Specification and Verification of Security Policies in Firewalls.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF	Formal Specification, Security Policy, Firewall
2	Stuart G. Stubblebine, Rebecca N. Wright	An Authentication Logic with Formal Semantics Supporting Synchronization, Revocation, and Recency.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	authentication logic, recent-secure authentication, reasoning about time, authentication, formal methods, computer security, security policies, clock synchronization, revocation, security analysis, protocol analysis, distributed systems security
2	Paloma Díaz, Ignacio Aedo, Fivos Panetsos	Modelling Security Policies in Hypermedia and Web-Based Applications.	Web Engineering	2001	DBLP DOI BibTeX RDF
2	Nathan N. Vuong, Geoffrey Smith, Yi Deng	Managing security policies in a distributed environment using eXtensible markup language (XML).	SAC	2001	DBLP DOI BibTeX RDF	managing security policies, Java, XML, XML, RBAC, meta-language, distributed authorization
2	Peter Herrmann, Heiko Krumm	Trust-Adapted Enforcement of Security Policies in Distributed Component-Structured Applications.	ISCC	2001	DBLP DOI BibTeX RDF	security policy enforcement, trust information service, Software components, trust management, wrappers
2	David Walker	A Type System for Expressive Security Policies.	POPL	2000	DBLP DOI BibTeX RDF
2	Ian Welch, Robert J. Stroud	Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code.	ESORICS	2000	DBLP DOI BibTeX RDF
2	Antonio Corradi, Rebecca Montanari, Cesare Stefanelli, Emil Lupu, Morris Sloman	A Flexible Access Control Service for Java Mobile Code.	ACSAC	2000	DBLP DOI BibTeX RDF	flexible access control service, Java mobile code, remote servers, distributed heterogeneous clients, foreign code execution, host node protection, code protection, sandbox model, downloaded code, source location, inter-organisational environments, expressive languages, Ponder, Java security architecture, Java, Internet, specification languages, security policies, signature, distributed programming, Internet applications, authorisation, declarative language, technology diffusion, dynamic loading
2	Carlos Ribeiro, Paulo Guedes	Verifying Workflow Processes against Organization Security Policies. (PDF / PS)	WETICE	1999	DBLP DOI BibTeX RDF
2	Sang Hyuk Son, Craig Chaney, Norris P. Thomlinson	Partial Security Policies to Support Timeliness in Secure Real-Time Databases.	IEEE Symposium on Security and Privacy	1998	DBLP DOI BibTeX RDF
2	Laurence Cholvy, Frédéric Cuppens	Analyzing Consistency of Security Policies.	IEEE Symposium on Security and Privacy	1997	DBLP DOI BibTeX RDF	security policy consistency analysis, deontic formulae, normative conflicts, role priorities, methodology, problem solving, roles, formal language, security of data, regulation, formal logic
2	Marianne Winslett, Neil Ching, Vicki Ellen Jones, Igor Slepchin	Assuring Security and Privacy for Digital Library Transactions on the Web: Client and Server Security Policies.	ADL	1997	DBLP DOI BibTeX RDF
2	Frédéric Cuppens, Robert Demolombe	A Modal Logical Framework for Security Policies.	ISMIS	1997	DBLP DOI BibTeX RDF
2	Patrick C. K. Hung, Kamalakar Karlapalem	A Paradigm for Security Enforcement in CapBasED-AMS. (PDF / PS)	CoopIS	1997	DBLP DOI BibTeX RDF	security enforcement paradigm, CapBasED-AMS, capability-based event-driven activity management system, activity execution, problem-solving agent, multiple interdependent tasks, task execution, unauthorized modification, pilferage, illegal privacy violation, specification-time data, compile-time data, run-time data, system infrastructure, secure match-making, security constraints, task coordination model, security resource control, role-based resource security model, security policies, task scheduling, security of data, security threats, unauthorized access
2	James Coyle, James Demerest, Richard McAllister	A Proposed Security Management Framework for the Global Information Community. (PDF / PS)	WETICE	1997	DBLP DOI BibTeX RDF	security management framework, global information community, security architect, product vendor, globally distributed systems, multiple security policies, communications network management, security infrastructure management, system management, office automation
2	I-Lung Kao, Randy Chow	An Extended Capability Architecture To Enforce Dynamic Access Control Policies.	ACSAC	1996	DBLP DOI BibTeX RDF	extended capability architecture, dynamic access control policies, user process, object access, access request, centralized access control lists, object protection, capability based systems, static access control policies, access privileges, capability systems, access history, capability management, distributed systems, distributed system, distributed processing, security policies, access rights, object manager, object managers
2	Nicholas Yialelis, Emil Lupu, Morris Sloman	Role-based security for distributed object systems. (PDF / PS)	WETICE	1996	DBLP DOI BibTeX RDF	role based security, multi organisational enterprise, role framework, obligation policies, domain based authentication service, replicated servers, minimal state, access control, distributed processing, role based access control, security policies, authorisation, security architecture, distributed object systems, access rights, symmetric cryptography, security agents
2	I-Lung Kao, Randy Chow	Enforcing complex security policies for commercial applications. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	complex security policy enforcement, commercial applications, complex access control policies, multilevel security model, systematic frequently-desired multilevel exception categorization, commercial sectors, classified categories, Boolean functions, exception handling, security of data, authorisation, Boolean expressions
2	Randy Chow, I-Lung Kao	Modeling complex access control policies in distributed systems.	FTDCS	1995	DBLP DOI BibTeX RDF	access authorization, classified categories, state-dependent security, distributed systems, distributed processing, security policies, security of data, authorisation, access control policies, access control model, Boolean expressions
1	Raphael Khoury, Nadia Tawbi	Which security policies are enforceable by runtime monitors? A survey.	Computer Science Review	2012	DBLP DOI BibTeX RDF