Search results for "policy specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Samrat Mondal, Shamik Sural	XML-based policy specification framework for spatiotemporal access control.	SIN	2009	DBLP DOI BibTeX RDF	estarbac, permission extent, role extent, spatiotemporal policy specification, xml
3	Jay Ligatti, Billy Rickey, Nalin Saigal	LoPSiL: A Location-Based Policy-Specification Language.	MobiSec	2009	DBLP DOI BibTeX RDF	Policy-specification languages, location-dependent policies, mobile devices, security and privacy
3	Cataldo Basile, Alberto Cappadonia, Antonio Lioy	Geometric Interpretation of Policy Specification.	POLICY	2008	DBLP DOI BibTeX RDF	policy resolution, policy specification, policy conflict
3	Andreas Meissner, Sharath Babu Musunoori, Lars C. Wolf	MGMS/GML - Towards a New Policy Specification Framework for Multicast Group Integrity.	SAINT	2004	DBLP DOI BibTeX RDF	Group Integrity, Multicast, Group Management, Policy Specification
3	Xiaofeng Gong, Julian Newman	The Role of Deontic Concepts and Commitment in the Policy Specification of Mobile Computing Environment.	OTM Workshops	2003	DBLP DOI BibTeX RDF	deontic concepts, speech acts oriented communication, mobile computing, Commitment, commitments, security policy specification
2	Basel Katt, Xinwen Zhang, Michael Hafner	Towards a Usage Control Policy Specification with Petri Nets.	OTM Conferences	2009	DBLP DOI BibTeX RDF
2	Ramaswamy Chandramouli	Policy Specification and Enforcement for Smart ID Cards Deployment.	POLICY	2008	DBLP DOI BibTeX RDF	XML, Smart Cards, XSLT, Identity Management
2	Tan Phan, Jun Han, Jean-Guy Schneider, Kirk Wilson	Quality-Driven Business Policy Specification and Refinement for Service-Oriented Systems.	ICSOC	2008	DBLP DOI BibTeX RDF
2	Benoît Combemale, Laurent Broto, Xavier Crégut, Michel J. Daydé, Daniel Hagimont	Autonomic Management Policy Specification: From UML to DSML.	MoDELS	2008	DBLP DOI BibTeX RDF
2	Mario Anzures-García, Luz A. Sánchez-Gálvez	Policy-based Group Organizational Structure Management using an Ontological Approach.	ARES	2008	DBLP DOI BibTeX RDF	Ontological Approach, Policy-based systems management, ontology-based policy specification, Group Organizational Structure Management, Policy
2	Bjørnar Solhaug, Ketil Stølen	Compositional Refinement of Policies in UML - Exemplified for Access Control.	ESORICS	2008	DBLP DOI BibTeX RDF	policy adherence, access control, UML sequence diagrams, Policy specification, policy refinement
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	Grigoris Antoniou, Matteo Baldoni, Piero A. Bonatti, Wolfgang Nejdl, Daniel Olmedilla	Rule-based Policy Specification.	Secure Data Management in Decentralized Systems	2007	DBLP DOI BibTeX RDF
2	Gail-Joon Ahn, Hongxin Hu	Towards realizing a formal RBAC model in real systems.	SACMAT	2007	DBLP DOI BibTeX RDF	access control, code generation, model validation, policy specification
2	Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo	Using Argumentation Logic for Firewall Policy Specification and Analysis.	DSOM	2006	DBLP DOI BibTeX RDF
2	Peter F. Linington	Policy Specification: Meeting Changing Requirements without Breaking the System Design Contract.	EDOC Workshops	2006	DBLP DOI BibTeX RDF
2	Badis Tebbani, Issam Aib	GXLA a Language for the Specification of Service Level Agreements.	Autonomic Networking	2006	DBLP DOI BibTeX RDF	SLA Specification, Service Level Agreement, Self Configuration, Policy Based Management, Policy Specification
2	Maoguang Wang, Li Zeng, Jiewen Luo, Qing Yu	A DDL Based Formal Policy Representation.	PRIMA	2006	DBLP DOI BibTeX RDF	GPSL(General policy specification language), policy ontology, autonomic computing, DDL
2	Rafae Bhatti, Arif Ghafoor, Elisa Bertino, James Joshi	X-GTRBAC: an XML-based policy specification framework and architecture for enterprise-wide access control.	ACM Trans. Inf. Syst. Secur.	2005	DBLP DOI BibTeX RDF	secure enterprises, XML, role-based access control
2	Wolfgang Nejdl, Daniel Olmedilla, Marianne Winslett, Charles C. Zhang	Ontology-Based Policy Specification and Management.	ESWC	2005	DBLP DOI BibTeX RDF
2	Handan Çalikli, Ufuk Gül Çaglayan	A Formal Policy Specification Language for an 802.11 WLAN with Enhanced Security Network.	ISCIS	2005	DBLP DOI BibTeX RDF	Administrative Domain, 802.11 Wireless Local Area Network (WLAN), Mobadtl, Security Policy
2	Wei-Tek Tsai, Xinxin Liu, Yinong Chen	Distributed Policy Specification and Enforcement in Service-Oriented Business Systems.	ICEBE	2005	DBLP DOI BibTeX RDF
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	Wei-Tek Tsai, Xinxin Liu, Yinong Chen, Raymond A. Paul	Simulation Verification and Validation by Dynamic Policy Enforcement.	Annual Simulation Symposium	2005	DBLP DOI BibTeX RDF	Automated Policy Specification and Enforcement, Simulation, Verification and Validation
2	Barbara Carminati, Elena Ferrari, Bhavani M. Thuraisingham	Using RDF for Policy Specification and Enforcement.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
2	William H. Stufflebeam, Annie I. Antón, Qingfeng He, Neha Jain	Specifying privacy policies with P3P and EPAL: lessons learned.	WPES	2004	DBLP DOI BibTeX RDF	privacy, requirements engineering, healthcare, P3P, policy specification, EPAL
2	Sandrine Duflos, Gladys Diaz, Valérie Gay, Eric Horlait	A Comparative Study of Policy Specification Languages for Secure Distributed Applications.	DSOM	2002	DBLP DOI BibTeX RDF
2	Rodolphe Ortalo	A Flexible Method for Information System Security Policy Specification.	ESORICS	1998	DBLP DOI BibTeX RDF	information systems, deontic logic, security policy specification
1	Nicholas Coleman	Distributed Policy Specification and Interpretation with Classified Advertisements.	PADL	2012	DBLP DOI BibTeX RDF
1	David F. Ferraiolo, Vijayalakshmi Atluri, Serban I. Gavrila	The Policy Machine: A novel architecture and framework for access control policy specification and enforcement.	Journal of Systems Architecture - Embedded Systems Design	2011	DBLP DOI BibTeX RDF
1	Jun Li, Bryan Stephenson, Hamid R. Motahari Nezhad, Sharad Singhal	GEODAC: A Data Assurance Policy Specification and Enforcement Framework for Outsourced Services.	IEEE T. Services Computing	2011	DBLP DOI BibTeX RDF
1	Ram Krishnan, Ravi S. Sandhu	Authorization Policy Specification and Enforcement for Group-Centric Secure Information Sharing.	ICISS	2011	DBLP DOI BibTeX RDF
1	Z. Cliffe Schreuders, Christian Payne, Tanya McGill	Techniques for Automating Policy Specification for Application-oriented Access Controls.	ARES	2011	DBLP DOI BibTeX RDF
1	Sabrina Kirrane	DC Proposal: Knowledge Based Access Control Policy Specification and Enforcement.	International Semantic Web Conference	2011	DBLP DOI BibTeX RDF
1	Z. Cliffe Schreuders, Christian Payne, Tanya McGill	A Policy Language for Abstraction and Automation in Application-Oriented Access Controls: The Functionality-Based Application Confinement Policy Language.	POLICY	2011	DBLP DOI BibTeX RDF	application-oriented access control, policy abstraction, a priori policy specification, functionality-based application confinement, policy usability
1	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
1	Prasad Naldurg, Raghavendra K. R.	SEAL: a logic programming framework for specifying and verifying access control models.	SACMAT	2011	DBLP DOI BibTeX RDF
1	Luay A. Wahsheh	An Analysis of Security Policy Specification Techniques.	Security and Management	2010	DBLP BibTeX RDF
1	Cataldo Basile, Antonio Lioy, Marco Vallini	Towards a Network-Independent Policy Specification.	PDP	2010	DBLP DOI BibTeX RDF	policy translation, network configuration, policy-based network management
1	Michelle L. Mazurek, J. P. Arsenault, Joanna Bresee, Nitin Gupta, Iulia Ion, Christina Johns, Daniel Lee, Yuan Liang, Jenny Olsen, Brandon Salmon, Richard Shay, Kami Vaniea, Lujo Bauer, Lorrie Faith Cranor, Gregory R. Ganger, Michael K. Reiter	Access control for home data sharing: evaluating social acceptability.	CHI	2010	DBLP DOI BibTeX RDF	security, privacy, access control, home computing
1	Lujun Fang, Kristen LeFevre	Privacy wizards for social networking sites.	WWW	2010	DBLP DOI BibTeX RDF	social network privacy, usability, active learning
1	Geon Woo Kim, Deok-Gyu Lee, Jong Wook Han, Sang Wook Kim	Security policy specification for home network.	IJAHUC	2009	DBLP DOI BibTeX RDF
1	Qingfeng He, Annie I. Antón	Requirements-based Access Control Analysis and Policy Specification (ReCAPS).	Information & Software Technology	2009	DBLP DOI BibTeX RDF
1	Basel Katt, Michael Hafner, Xinwen Zhang	A usage control policy specification with Petri nets.	CollaborateCom	2009	DBLP DOI BibTeX RDF
1	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
1	Ziqing Mao, Ninghui Li, Hong Chen, Xuxian Jiang	Trojan horse resistant discretionary access control.	SACMAT	2009	DBLP DOI BibTeX RDF	access control, operating system, information flow
1	Farhana H. Zulkernine, Patrick Martin, Chris Craddock, Kirk Wilson	A Policy-Based Middleware for Web Services SLA Negotiation.	ICWS	2009	DBLP DOI BibTeX RDF
1	Qihua Wang, Hongxia Jin, Ninghui Li	Usable Access Control in Collaborative Environments: Authorization Based on People-Tagging.	ESORICS	2009	DBLP DOI BibTeX RDF
1	Alessandra Toninelli, Antonio Corradi, Rebecca Montanari	A Quality of Context-Aware Approach to Access Control in Pervasive Environments.	MOBILWARE	2009	DBLP DOI BibTeX RDF
1	Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese	A Meta-model of Access Control in a Fibred Security Language.	Studia Logica	2009	DBLP DOI BibTeX RDF	Fibring, Security, Access Control, Logic
1	Irem Aktug, Katsiaryna Naliuka	ConSpec - A formal language for policy specification.	Sci. Comput. Program.	2008	DBLP DOI BibTeX RDF
1	Irem Aktug, Katsiaryna Naliuka	ConSpec - A Formal Language for Policy Specification.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Prem Uppuluri, Ajay K. Gupta 0002	Resource Usage Policy Specification for Managing Application Resources.	ITNG	2008	DBLP DOI BibTeX RDF	Specification, Policy
1	Laurent Broto, Daniel Hagimont, Patricia Stolf, Noel De Palma, Suzy Temate	Autonomic management policy specification in Tune.	SAC	2008	DBLP DOI BibTeX RDF	reconfiguration, deployment, autonomic system, administration
1	Philip Inglesant, Martina Angela Sasse, David W. Chadwick, Lei Lei Shi	Expressions of expertness: the virtuous circle of natural language for access control policy specification.	SOUPS	2008	DBLP DOI BibTeX RDF	access control, Grid computing, authorization, RBAC, observations, qualitative methods, controlled natural language
1	Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon	A Model-Based Framework for Security Policy Specification, Deployment and Testing.	MoDELS	2008	DBLP DOI BibTeX RDF	Model-driven engineering methodology, Security, Metamodeling
1	Brian Shand, Jem Rashbass	Security for middleware extensions: event meta-data for enforcing security policy.	Middleware Security	2008	DBLP DOI BibTeX RDF	middleware, extensions, policy specification
1	Kevin W. Hamlen, Micah Jones	Aspect-oriented in-lined reference monitors.	PLAS	2008	DBLP DOI BibTeX RDF	in-lined reference monitors, object-oriented programming, aspect-oriented programming, runtime verification, security automata
1	Nikhil Swamy, Michael Hicks	Verified enforcement of stateful information release policies.	PLAS	2008	DBLP DOI BibTeX RDF	certified evaluation, state modifying, dependent, declassification, affine, singleton types
1	Diego Zuquim Guimarães Garcia, Maria Beatriz Felgar de Toledo	Web service security management using semantic web techniques.	SAC	2008	DBLP DOI BibTeX RDF	web services policy framework, security, ontology, web service, semantic web, policy, web ontology language, web services security
1	David F. Ferraiolo, Vijay Atluri	A meta model for access control: why is it needed and is it even possible to achieve?	SACMAT	2008	DBLP DOI BibTeX RDF
1	Nikhil Swamy, Michael Hicks	Verified enforcement of stateful information release policies.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	affine types, certified evaluation, state modifying policies, dependent types, declassification, singleton types
1	Stefan Piger, Christian Grimm, Ralf Groeper, Christopher Kunz	A Comprehensive Approach to Self-Restricted Delegation of Rights in Grids.	CCGRID	2008	DBLP DOI BibTeX RDF	restricted delegation, Grid Computing, authorization policy, proxy certificate
1	Wenli Dong	Dynamic Reconfiguration Method for Web Service Based on Policy.	ISECS	2008	DBLP DOI BibTeX RDF	Reconfiguration Policy, Web Service, Dynamic Reconfiguration
1	Tuan D. Le, Wen Hu, Sanjay Jha, Peter I. Corke	Design and implementation of a policy-based management system for data reliability in Wireless Sensor Networks.	LCN	2008	DBLP DOI BibTeX RDF
1	Cataldo Basile, Paolo Carlo Pomi, Piervito Scaglioso	Integrating Deployment Techniques with Monitoring: The Proactive Configuration Checker (PCC).	PDP	2008	DBLP DOI BibTeX RDF
1	Zeinab Iranmanesh, Morteza Amini, Rasool Jalili	A Logic for Multi-domain Authorization Considering Administrators.	POLICY	2008	DBLP DOI BibTeX RDF
1	Juliana Mitchell-Wong, Ryszard Kowalczyk, Quoc Bao Vo	Social Network Profile and Policy.	POLICY	2008	DBLP DOI BibTeX RDF	social network, specification, policy
1	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
1	Wei-Tek Tsai, Xinyu Zhou, Xiao Wei	A policy enforcement framework for verification and control of service collaboration.	Inf. Syst. E-Business Management	2008	DBLP DOI BibTeX RDF	Service-Oriented Architecture, Runtime verification, Policy enforcement, Dynamic collaboration
1	Steve Barker, Michael Leuschel, Mauricio Varea	Efficient and flexible access control via Jones-optimal logic program specialisation.	Higher-Order and Symbolic Computation	2008	DBLP DOI BibTeX RDF	Access control, Program transformation, Deductive databases, Partial evaluation, Meta-programming
1	Moritz Y. Becker	Information governance in NHS's NPfIT: A case for policy specification.	I. J. Medical Informatics	2007	DBLP DOI BibTeX RDF
1	George Konstantoulakis, Morris Sloman	Call Management Policy Specification for the Asterisk Telephone Private Branch Exchange.	POLICY	2007	DBLP DOI BibTeX RDF
1	Alessandra Mileo, Torsten Schaub	Qualitative Constraint Enforcement in Advanced Policy Specification.	ECSQARU	2007	DBLP DOI BibTeX RDF
1	Daisy Daiqin He, Jian Yang	Security Policy Specification and Integration in Business Collaboration.	IEEE SCC	2007	DBLP DOI BibTeX RDF
1	Tanvir Ahmed, Anand R. Tripathi	Specification and verification of security requirements in a programming model for decentralized CSCW systems.	ACM Trans. Inf. Syst. Secur.	2007	DBLP DOI BibTeX RDF	finite state-based model checking, methodology for access-control policy design, role-based access control, Security policy specification
1	Iulia Ion, Boris Dragovic, Bruno Crispo	Extending the Java Virtual Machine to Enforce Fine-Grained Security Policies in Mobile Devices.	ACSAC	2007	DBLP DOI BibTeX RDF
1	Rafae Bhatti, Daniel Sanz, Elisa Bertino, Arif Ghafoor	A Policy-Based Authorization Framework for Web Services: Integrating XGTRBAC and WS-Policy.	ICWS	2007	DBLP DOI BibTeX RDF
1	Mudhakar Srivatsa, Arun Iyengar, Thomas A. Mikalsen, Isabelle Rouvellou, Jian Yin	An Access Control System for Web Service Compositions.	ICWS	2007	DBLP DOI BibTeX RDF
1	Jinpeng Wei, Lenin Singaravelu, Calton Pu	Guarding Sensitive Information Streams through the Jungle of Composite Web Services.	ICWS	2007	DBLP DOI BibTeX RDF
1	Daisy Daiqin He, Jian Yang	A Policy Driven Authorization Control Framework for Business Collaboration.	IEEE SCW	2007	DBLP DOI BibTeX RDF
1	Kris Verlaenen, Bart De Win, Wouter Joosen	Towards simplified specification of policies in different domains.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
1	Bechara al Bouna, Richard Chbeir, Johel Mitéran	MCA2CM: Multimedia Context-Aware Access Control Model.	ISI	2007	DBLP DOI BibTeX RDF
1	Zhen Liu, Anand Ranganathan, Anton Riabov	Specifying and Enforcing High-Level Semantic Obligation Policies.	POLICY	2007	DBLP DOI BibTeX RDF
1	Tatyana Ryutov	A Socio-cognitive Approach to Modeling Policies in Open Environments.	POLICY	2007	DBLP DOI BibTeX RDF
1	Bjørnar Solhaug, Dag Elgesem, Ketil Stølen	Specifying Policies Using UML Sequence Diagrams - An Evaluation Based on a Case Study.	POLICY	2007	DBLP DOI BibTeX RDF
1	Alessandra Toninelli, Rebecca Montanari, Lalana Kagal, Ora Lassila	Proteus: A Semantic Context-Aware Adaptive Policy Model.	POLICY	2007	DBLP DOI BibTeX RDF
1	Hédi Hamdi, Adel Bouhoula, Mohamed Mosbah	A Software Architecture for Automatic Security Policy Enforcement in Distributed Systems.	SECURWARE	2007	DBLP DOI BibTeX RDF
1	Charles C. Zhang, Marianne Winslett, Carl A. Gunter	On the Safety and Efficiency of Firewall Policy Deployment.	IEEE Symposium on Security and Privacy	2007	DBLP DOI BibTeX RDF
1	Rafae Bhatti, Arjmand Samuel, Mohamed Y. Eltabakh, Haseeb Amjad, Arif Ghafoor	Engineering a Policy-Based System for Federated Healthcare Databases.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Federated database security, healthcare engineering, role based access control, policy-based management
1	Arjmand Samuel, Shahab Baqai, Arif Ghafoor	XML-Based Policy Engineering Framework for Heterogeneous Network Management.	APNOMS	2007	DBLP DOI BibTeX RDF
1	Vijayant Dhankhar, Saket Kaushik, Duminda Wijesekera	XACML Policies for Exclusive Resource Usage.	DBSec	2007	DBLP DOI BibTeX RDF
1	Joaquín Peña, Michael G. Hinchey, Roy Sterritt, Antonio Ruiz Cortés	Building and implementing policies in autonomous and autonomic systems using MaCMAS.	ISSE	2007	DBLP DOI BibTeX RDF	Autonomic computing, Agent-oriented software engineering, Policy-based management
1	Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Xinyu Zhou, Chun Fan	Simulation Verification and Validation by Dynamic Policy Specification and Enforcement.	Simulation	2006	DBLP DOI BibTeX RDF
1	A. Murali M. Rao	Policy Specification and Enforcement for Detection of Security Violations in a Mail Service.	ICIT	2006	DBLP DOI BibTeX RDF
1	Bechara al Bouna, Richard Chbeir	Multimedia-based authorization and access control policy specification.	SWS	2006	DBLP DOI BibTeX RDF	authorization and access control, security, user model, role based access control, multimedia content
1	Xinwen Zhang, Ravi S. Sandhu, Francesco Parisi-Presicce	Safety analysis of usage control authorization models.	ASIACCS	2006	DBLP DOI BibTeX RDF	access control, authorization, safety, usage control, UCON
1	Qingfeng He, Paul N. Otto, Annie I. Antón, Laurie A. Jones	Ensuring Compliance between Policies, Requirements and Software Design: A Case Study.	IWIA	2006	DBLP DOI BibTeX RDF
1	Arun Kumar, Vikas Agarwal	A Customizable Mediation Engine for Metrics Collection, Aggregation and Composition.	NOMS	2006	DBLP DOI BibTeX RDF
1	Chetan Shiva Shankar, Roy H. Campbell	Managing Pervasive Systems using Role-based Obligation Policies.	PerCom Workshops	2006	DBLP DOI BibTeX RDF