Search results for "security policy specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	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	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	Luay A. Wahsheh	An Analysis of Security Policy Specification Techniques.	Security and Management	2010	DBLP BibTeX RDF
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	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	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	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	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	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
1	Daisy Daiqin He, Jian Yang	A Policy Driven Authorization Control Framework for Business Collaboration.	IEEE SCW	2007	DBLP DOI BibTeX RDF
1	Li Yang, Joseph M. Kizza, Raimund K. Ege	A Flexible Context-Aware Authorization Framework for Mediation Systems.	ISI	2006	DBLP DOI BibTeX RDF	security, access control, constraints, Mediation
1	Michael McIntosh, Paula Austel	XML signature element wrapping attacks and countermeasures.	SWS	2005	DBLP DOI BibTeX RDF	security policy, attack, vulnerability, web services security, countermeasure, XML signature
1	Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Alexandre Miège	A Formal Approach to Specify and Deploy a Network Security Policy.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
1	Tanvir Ahmed, Anand R. Tripathi	Static verification of security requirements in role based CSCW systems.	SACMAT	2003	DBLP DOI BibTeX RDF	finite-state based model checking, methodology for access control policy design, role based access control, security policy specification
1	Anand R. Tripathi, Tanvir Ahmed, Richa Kumar	Specification of Secure Distributed Collaboration Systems.	ISADS	2003	DBLP DOI BibTeX RDF	Role based access control, Distributed collaboration, Security policy specification
1	Jacob Zimmermann, Ludovic Mé, Christophe Bidan	An Improved Reference Flow Control Model for Policy-Based Intrusion Detection.	ESORICS	2003	DBLP DOI BibTeX RDF	Policy-based intrusion detection, access control, information flow control
1	Emin Gün Sirer, Ke Wang	An access control language for web services.	SACMAT	2002	DBLP DOI BibTeX RDF	web services, access control
1	Rasool Jalili, Mohsen Rezvani	Specification and Verification of Security Policies in Firewalls.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF	Formal Specification, Security Policy, Firewall
1	Mourad Debbabi, Jules Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi	Secure Self-certified Code for Java.	FASec	2002	DBLP DOI BibTeX RDF
1	David Liu, Kincho H. Law, Gio Wiederhold	CHAOS: An Active Security Mediation System.	CAiSE	2000	DBLP DOI BibTeX RDF
1	James A. Hoagland, Raju Pandey, Karl N. Levitt	Security Policy Specification Using a Graphical Approach	CoRR	1998	DBLP BibTeX RDF
1	Frédéric Cuppens, Claire Saurel	Specifying a security policy: a case study.	CSFW	1996	DBLP DOI BibTeX RDF	high risk environment, interoperability problems, logic-based approach, formal specification, consistency, completeness, security of data, formal logic, deontic logic, security policy specification