Search results for "access control policies"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
3	Heiko Klarl, Florian Marmé, Christian Wolff, Christian Emig, Sebastian Abeck	An MDA-Based Environment for Generating Access Control Policies.	TrustBus	2009	DBLP DOI BibTeX RDF	Model-driven Development Process, Identity Management, Access Control Policies, Model-driven Security
3	Fei Yan, Philip W. L. Fong	Efficient IRM enforcement of history-based access control policies.	ASIACCS	2009	DBLP DOI BibTeX RDF	distributed optimization protocol, history-based access control policies, language-based security, security automata, inlined reference monitors
3	Evan Martin, Tao Xie	A fault model and mutation testing of access control policies.	WWW	2007	DBLP DOI BibTeX RDF	test generation, fault model, mutation testing, access control policies
3	Indrakshi Ray	Applying Semantic Knowledge to Real-Time Update of Access Control Policies - Appendices. (PDF / PS)	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF	semantic-based transaction processing, concurrency control, transaction processing, Access control policies
3	Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz	Verification and change-impact analysis of access-control policies.	ICSE	2005	DBLP DOI BibTeX RDF	verification, XACML, decision diagram, change-impact analysis, access-control policies
2	JeeHyun Hwang, Tao Xie, Vincent C. Hu, Mine Altunay	ACPT: A Tool for Modeling and Verifying Access Control Policies.	POLICY	2010	DBLP DOI BibTeX RDF	Policy Testing, Access Control Policies, Policy Verification, Policy Modeling
2	Florent Jacquemard, Michaël Rusinowitch	Rewrite-based verification of XML updates.	PPDP	2010	DBLP DOI BibTeX RDF	hedge automata, static typechecking, xml access control policies, xml updates, term rewriting
2	Kamel Adi, Yacine Bouzida, Ikhlass Hattak, Luigi Logrippo, Serge Mankovski	Typing for Conflict Detection in Access Control Policies.	MCETECH	2009	DBLP DOI BibTeX RDF
2	Vahid R. Karimi, Donald D. Cowan	Verification of Access Control Policies for REA Business Processes.	COMPSAC	2009	DBLP DOI BibTeX RDF
2	David J. Power, Mark Slaymaker, Andrew C. Simpson	On the Construction and Verification of Self-modifying Access Control Policies.	Secure Data Management	2009	DBLP DOI BibTeX RDF
2	JeeHyun Hwang, Tao Xie, Vincent C. Hu	Detection of Multiple-Duty-Related Security Leakage in Access Control Policies.	SSIRI	2009	DBLP DOI BibTeX RDF	Validation, Access Control Policies, Policy Verification
2	Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Karl Klose	From Formal Access Control Policies to Runtime Enforcement Aspects.	ESSoS	2009	DBLP DOI BibTeX RDF
2	Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qihua Wang, William H. Winsborough	Towards Formal Verification of Role-Based Access Control Policies.	IEEE Trans. Dependable Sec. Comput.	2008	DBLP DOI BibTeX RDF
2	Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn, Martin Gogolla	Analyzing and Managing Role-Based Access Control Policies.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Access controls, Protection mechanisms
2	Arjmand Samuel, Arif Ghafoor, Elisa Bertino	Context-Aware Adaptation of Access-Control Policies.	IEEE Internet Computing	2008	DBLP DOI BibTeX RDF
2	Rafae Bhatti, Maria Luisa Damiani, David W. Bettis, Elisa Bertino	Policy Mapper: Administering Location-Based Access-Control Policies.	IEEE Internet Computing	2008	DBLP DOI BibTeX RDF
2	Maria Luisa Damiani, Elisa Bertino, Claudio Silvestri	Spatial Domains for the Administration of Location-based Access Control Policies.	J. Network Syst. Manage.	2008	DBLP DOI BibTeX RDF	Access control, Location-based services, RBAC, Spatial data
2	Luc Bouganim, François Dang Ngoc, Philippe Pucheral	Dynamic access-control policies on XML encrypted data.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	ubiquitous data management, Access-control, smartcard, data confidentiality
2	Graham Hughes, Tevfik Bultan	Automated verification of access control policies using a SAT solver.	STTT	2008	DBLP DOI BibTeX RDF	Access control, Automated verification
2	Alexander Pretschner, Tejeddine Mouelhi, Yves Le Traon	Model-Based Tests for Access Control Policies.	ICST	2008	DBLP DOI BibTeX RDF	Access Control, Model-Based Testing, Mutation Testing, Combinatorial Testing
2	Paloma Díaz, Ignacio Aedo, Daniel Sanz, Alessio Malizia	A model-driven approach for the visual specification of Role-Based Access Control policies in web systems.	VL/HCC	2008	DBLP DOI BibTeX RDF
2	Fabio Massacci, Nicola Zannone	A Model-Driven Approach for the Specification and Analysis of Access Control Policies.	OTM Conferences	2008	DBLP DOI BibTeX RDF	Access Control, Policy Specification, Security Requirements Engineering
2	Evan Martin, JeeHyun Hwang, Tao Xie, Vincent C. Hu	Assessing Quality of Policy Properties in Verification of Access Control Policies.	ACSAC	2008	DBLP DOI BibTeX RDF
2	Loreto Bravo, James Cheney, Irini Fundulaki	ACCOn: checking consistency of XML write-access control policies.	EDBT	2008	DBLP DOI BibTeX RDF
2	Christiano Braga	From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach.	MoDELS Workshops	2008	DBLP DOI BibTeX RDF
2	Glenn Bruns, Michael Huth	Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis.	CSF	2008	DBLP DOI BibTeX RDF	Belnap logic, access control, policy languages, policy analysis
2	Clara Bertolissi, Maribel Fernández	A rewriting framework for the composition of access control policies.	PPDP	2008	DBLP DOI BibTeX RDF	distributed systems, access control, security policies, term rewriting
2	Lars E. Olson, Carl A. Gunter, P. Madhusudan	A formal framework for reflective database access control policies.	ACM Conference on Computer and Communications Security	2008	DBLP DOI BibTeX RDF	formal safety verification, reflective database access control, transaction datalog, fine-grained access control
2	Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Pierangela Samarati	Access Control Policies and Languages in Open Environments.	Secure Data Management in Decentralized Systems	2007	DBLP DOI BibTeX RDF
2	Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia	Management of Exceptions on Access Control Policies.	SEC	2007	DBLP DOI BibTeX RDF
2	Jeremy Bryans, John S. Fitzgerald	Formal Engineering of XACML Access Control Policies in VDM++.	ICFEM	2007	DBLP DOI BibTeX RDF
2	Vincent C. Hu, Evan Martin, JeeHyun Hwang, Tao Xie	Conformance Checking of Access Control Policies Specified in XACML.	COMPSAC	2007	DBLP DOI BibTeX RDF
2	Paolina Centonze, Robert J. Flynn, Marco Pistoia	Combining Static and Dynamic Analysis for Automatic Identification of Precise Access-Control Policies.	ACSAC	2007	DBLP DOI BibTeX RDF
2	Vincent Cridlig, Radu State, Olivier Festor	A model for checking consistency in access control policies for network management.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
2	Loreto Bravo, James Cheney, Irini Fundulaki	Repairing Inconsistent XML Write-Access Control Policies.	DBPL	2007	DBLP DOI BibTeX RDF
2	Janice Warner, Vijayalakshmi Atluri, Ravi Mukkamala, Jaideep Vaidya	Using semantics for automatic enforcement of access control policies among dynamic coalitions.	SACMAT	2007	DBLP DOI BibTeX RDF	collaboration, access control, semantics, coalitions
2	Saeed Parsa, Morteza Damanafshan	Seamless Secure Development of Systems: From Modeling to Enforcement of Access Control Policies.	AICCSA	2007	DBLP DOI BibTeX RDF
2	Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia	Aggregating and Deploying Network Access Control Policies.	ARES	2007	DBLP DOI BibTeX RDF
2	Evan Martin	Testing and Analysis of Access Control Policies.	ICSE Companion	2007	DBLP DOI BibTeX RDF
2	Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, Hélène Kirchner	Weaving rewrite-based access control policies.	FMSE	2007	DBLP DOI BibTeX RDF	strategic rewriting, access control, aspect-oriented programming, term rewriting, execution monitoring
2	Dan Lin, Prathima Rao, Elisa Bertino, Jorge Lobo	An approach to evaluate policy similarity.	SACMAT	2007	DBLP DOI BibTeX RDF	XACML policies, policy similarity measure, access control policies
2	Manuel Koch, Francesco Parisi-Presicce	UML specification of access control policies and their formal verification.	Software and System Modeling	2006	DBLP DOI BibTeX RDF
2	Omkar J. Tilak, Rajeev R. Raje, Xukai Zou	Composing Access Control Policies of Distributed Components.	DASC	2006	DBLP DOI BibTeX RDF
2	Evan Martin, Tao Xie, Ting Yu	Defining and Measuring Policy Coverage in Testing Access Control Policies.	ICICS	2006	DBLP DOI BibTeX RDF
2	Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi	Specifying and Reasoning About Dynamic Access-Control Policies.	IJCAR	2006	DBLP DOI BibTeX RDF
2	Evan Martin	Automated test generation for access control policies.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	test generation, XACML, access control policy
2	Romuald Thion, Stéphane Coulondre	Modeling and Inferring on Role-Based Access Control Policies Using Data Dependencies.	DEXA	2006	DBLP DOI BibTeX RDF
2	Claudio Agostino Ardagna, Marco Cremonini, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati	Supporting location-based conditions in access control policies.	ASIACCS	2006	DBLP DOI BibTeX RDF	access control, location-based services, mobile system
2	Romuald Thion, Stéphane Coulondre	Representation and Reasoning on Role-Based Access Control Policies with Conceptual Graphs.	ICCS	2006	DBLP DOI BibTeX RDF
2	Indrakshi Ray	Applying Semantic Knowledge to Real-Time Update of Access Control Policies.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF
2	Linying Su, David W. Chadwick, Andrew Basden, James A. Cunningham	Automated Decomposition of Access Control Policies.	POLICY	2005	DBLP DOI BibTeX RDF
2	Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev	Evaluating Access Control Policies Through Model Checking.	ISC	2005	DBLP DOI BibTeX RDF	access control policy language, model checking, verification, access control, access control policy, access control model
2	Lawrence Teo, Gail-Joon Ahn	Supporting access control policies across multiple operating systems.	ACM Southeast Regional Conference	2005	DBLP DOI BibTeX RDF	Chameleos, access control, operating systems, flexibility, extensibility, policy specification
2	Peng Liu, Jian-bin Hu, Zhong Chen	A Formal Language for Access Control Policies in Distributed Environment.	Web Intelligence	2005	DBLP DOI BibTeX RDF
2	Janice Warner, Vijayalakshmi Atluri, Ravi Mukkamala	An Attribute Graph Based Approach to Map Local Access Control Policies to Credential Based Access Control Policies.	ICISS	2005	DBLP DOI BibTeX RDF
2	Vijayalakshmi Atluri, Janice Warner	Automatic Enforcement of Access Control Policies Among Dynamic Coalitions.	ICDCIT	2004	DBLP DOI BibTeX RDF
2	Joachim Biskup, Sandra Wortmann	Towards a credential-based implementation of compound access control policies.	SACMAT	2004	DBLP DOI BibTeX RDF	certificate chain discovery, policy algebra, access control, public key infrastructure, credential, spki/sdsi
2	Barbara Carminati, Elena Ferrari	Management of access control policies for XML document sources.	Int. J. Inf. Sec.	2003	DBLP DOI BibTeX RDF	Push distribution mode, XML, Access control, Policy Management
2	Vijay G. Bharadwaj, John S. Baras	Towards Automated Negotiation of Access Control Policies.	POLICY	2003	DBLP DOI BibTeX RDF
2	Khaled Alghathbar, Duminda Wijesekera	Consistent and Complete Access Control Policies in Use Cases.	UML	2003	DBLP DOI BibTeX RDF
2	Tine Verhanneman, Liesbeth Jaco, Bart De Win, Frank Piessens, Wouter Joosen	Adaptable Access Control Policies for Medical Information Systems.	DAIS	2003	DBLP DOI BibTeX RDF
2	Krzysztof Juszczyszyn	Verifying Enterprise's Mandatory Access Control Policies with Coloured Petri Nets.	WETICE	2003	DBLP DOI BibTeX RDF
2	Vijay G. Bharadwaj, John S. Baras	A Framework for Automated Negotiation of Access Control Policies.	DISCEX	2003	DBLP DOI BibTeX RDF
2	Indrakshi Ray, Tai Xin	Concurrent and Real-Time Update of Access Control Policies.	DEXA	2003	DBLP DOI BibTeX RDF
2	François Siewe, Antonio Cau, Hussein Zedan	A compositional framework for access control policies enforcement.	FMSE	2003	DBLP DOI BibTeX RDF	access control, authorization, delegation, policy composition
2	Trent Jaeger, Antony Edwards, Xiaolan Zhang	Managing access control policies using access control spaces.	SACMAT	2002	DBLP DOI BibTeX RDF
2	Sushil Jajodia, Pierangela Samarati, Maria Luisa Sapino, V. S. Subrahmanian	Flexible support for multiple access control policies.	ACM Trans. Database Syst.	2001	DBLP DOI BibTeX RDF	logic programming, authorization, access control policy
2	Virgil D. Gligor, Himanshu Khurana, Radostina K. Koleva, Vijay G. Bharadwaj, John S. Baras	On the Negotiation of Access Control Policies.	Security Protocols Workshop	2001	DBLP DOI BibTeX RDF
2	Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce	On the specification and evolution of access control policies.	SACMAT	2001	DBLP DOI BibTeX RDF	specification, methodology, graph transformation systems
2	Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce	Foundations for a Graph-Based Approach to the Specification of Access Control Policies.	FoSSaCS	2001	DBLP DOI BibTeX RDF
2	Pierangela Samarati, Sabrina De Capitani di Vimercati	Access Control: Policies, Models, and Mechanisms.	FOSAD	2000	DBLP DOI BibTeX RDF
2	Sushil Jajodia, Pierangela Samarati, V. S. Subrahmanian, Elisa Bertino	A Unified Framework for Enforcing Multiple Access Control Policies.	SIGMOD Conference	1997	DBLP DOI BibTeX RDF
2	Elisa Bertino, Sushil Jajodia, Pierangela Samarati	Supporting Multiple Access Control Policies in Database Systems.	IEEE Symposium on Security and Privacy	1996	DBLP DOI BibTeX RDF
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
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
1	Khaled Alghathbar	Representing access control policies in use case.	Int. Arab J. Inf. Technol.	2012	DBLP BibTeX RDF
1	Jenny Abramov, Omer Anson, Michal Dahan, Peretz Shoval, Arnon Sturm	A methodology for integrating access control policies within database development.	Computers & Security	2012	DBLP DOI BibTeX RDF
1	Romuald Thion, Stéphane Coulondre	A relational database integrity framework for access control policies.	J. Intell. Inf. Syst.	2012	DBLP DOI BibTeX RDF
1	Donia El Kateb, Tejeddine Mouelhi, Yves Le Traon, JeeHyun Hwang, Tao Xie	Refactoring access control policies for performance improvement.	ICPE	2012	DBLP DOI BibTeX RDF
1	Christiano Braga	A transformation contract to generate aspects from access control policies.	Software and System Modeling	2011	DBLP DOI BibTeX RDF
1	Neil Moore	Computational complexity of the problem of tree generation under fine-grained access control policies.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
1	Dizza Beimel, Mor Peleg	Using OWL and SWRL to represent and reason with situation-based access control policies.	Data Knowl. Eng.	2011	DBLP DOI BibTeX RDF
1	Stere Preda, Frédéric Cuppens, Nora Cuppens-Boulahia, Joaquín García-Alfaro, Laurent Toutain	Dynamic deployment of context-aware access control policies for constrained security devices.	Journal of Systems and Software	2011	DBLP DOI BibTeX RDF
1	Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St.-Denis	Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments.	IJSSOE	2011	DBLP DOI BibTeX RDF
1	Jason Crampton	Practical and efficient cryptographic enforcement of interval-based access control policies.	ACM Trans. Inf. Syst. Secur.	2011	DBLP DOI BibTeX RDF
1	Prathima Rao, Dan Lin, Elisa Bertino, Ninghui Li, Jorge Lobo	Fine-grained integration of access control policies.	Computers & Security	2011	DBLP DOI BibTeX RDF
1	Sabrina De Capitani di Vimercati	Privacy-Aware Access Control Policies.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Sabrina De Capitani di Vimercati	Discretionary Access Control Policies (DAC).	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Sabrina De Capitani di Vimercati	Access Control Policies, Models, and Mechanisms.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Aleksandar Nanevski, Anindya Banerjee, Deepak Garg	Verification of Information Flow and Access Control Policies with Dependent Types.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	Access Control, Information Flow, Type Theory
1	David J. Power, Mark Slaymaker, Andrew Simpson	Conformance Checking of Dynamic Access Control Policies.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Masoud Koleini, Mark Ryan	A Knowledge-Based Verification Method for Dynamic Access Control Policies.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Anne V. D. M. Kayem, Patrick Martin, Selim G. Akl	Efficient Enforcement of Dynamic Access Control Policies for Outsourced Data.	ISSA	2011	DBLP BibTeX RDF
1	Lionel Montrieux, Michel Wermelinger, Yijun Yu	Challenges in model-based evolution and merging of access control policies.	EVOL/IWPSE	2011	DBLP DOI BibTeX RDF
1	Pierre Konopacki, Marc Frappier, Régine Laleau	Expressing Access Control Policies with an Event-Based Approach.	CAiSE Workshops	2011	DBLP DOI BibTeX RDF
1	Lei Lei Shi, David W. Chadwick	A controlled natural language interface for authoring access control policies.	SAC	2011	DBLP DOI BibTeX RDF
1	Jan Camenisch, Maria Dubovitskaya, Gregory Neven, Gregory M. Zaverucha	Oblivious Transfer with Hidden Access Control Policies.	Public Key Cryptography	2011	DBLP DOI BibTeX RDF
1	Alessandro Armando, Silvio Ranise	Automated Analysis of Infinite State Workflows with Access Control Policies.	STM	2011	DBLP DOI BibTeX RDF
1	Fáber D. Giraldo, Mireille Blay-Fornarino, Sébastien Mosser	Introducing Security Access Control Policies into Legacy Business Processes.	EDOCW	2011	DBLP DOI BibTeX RDF	Security Standards, Serviceï¿½??oriented Architecture, Business Processes, Separation of Concerns