Search results for "security policy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Steven J. Greenwald	E-Prime for security: a new security paradigm.	NSPW	2006	DBLP DOI BibTeX RDF	Clark-Wilson, E-Prime, Sapir-Whorf hypothesis, disaster planning, enterprise security policy, general semantics, incident handling, informal security policy modeling, organizational security policy, principle of linguistic relativity, security life cycle, software life cycle SP800-12, user awareness, user centered security, user support and operations, modeling, formal methods, planning, RBAC, role-based access control, risk management, information assurance, security engineering, life cycle, spam detection, user training, security policy modeling, program management
4	Debabrata Nayak	An Adaptive and Optimized Security Policy Manager for Wireless Networks.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF	Network Element, Security Policy index, Security Policy Factor, SQoS, Policy optimizer
4	Patrick C. K. Hung, Guang-Sha Qiu	Specifying conflict of interest assertions in WS-policy with Chinese wall security policy.	SIGecom Exchanges	2003	DBLP DOI BibTeX RDF	WS-policy attachment, security assertion, XML, security policy, delegation, matchmaking, conflict of interest, WS-policy, service locators, Chinese wall security policy
3	William Claycomb, Rodrigo Lopes, Dongwan Shin, Byunggi Kim	A group-based security policy for wireless sensor networks.	SAC	2010	DBLP DOI BibTeX RDF	wireless sensor network, access control, security policy
3	Sid Stamm, Brandon Sterne, Gervase Markham	Reining in the web with content security policy.	WWW	2010	DBLP DOI BibTeX RDF	content restrictions, security policy, http, web security
3	Padmalochan Bera, Soumya Kanti Ghosh, Pallab Dasgupta	Formal Verification of Security Policy Implementations in Enterprise Networks.	ICISS	2009	DBLP DOI BibTeX RDF	Access control list (ACL), Formal Verification, Network security, Security Policy
3	Gaoshou Zhai, Wenlin Ma, Minli Tian, Na Yang, Chengyu Liu, Hengsheng Yang	Design and implementation of a tool for analyzing SELinux secure policy.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	security policy configuration, security policy description language, SELinux, integrity verification
3	Phu H. Phung, David Sands	Security Policy Enforcement in the OSGi Framework Using Aspect-Oriented Programming.	COMPSAC	2008	DBLP DOI BibTeX RDF	Security policy enforcement, vehicle software, middleware, Aspect-oriented programming, OSGi, reference monitors
3	Stephen S. Yau, Zhaoji Chen	Security Policy Integration and Conflict Reconciliation for Collaborations among Organizations in Ubiquitous Computing Environments.	UIC	2008	DBLP DOI BibTeX RDF	Security policy integration, conflict reconciliation, organization collaboration, similarity-based policy adaptation, negotiation-based policy reconciliation, ontology, ubiquitous computing environments
3	Klaus-Peter Fischer, Udo Bleimann, Steven Furnell	Pre-execution Security Policy Assessment of Remotely Defined BPEL-Based Grid Processes.	TrustBus	2007	DBLP DOI BibTeX RDF	Business Process Execution Language (BPEL), Grid Processes, Security Policy Enforcement, Virtual Organizations, Grid Services, Information Flow Analysis
3	Geon Woo Kim, Deok-Gyu Lee, Jong Wook Han, Sang-Choon Kim, Sang Wook Kim	Security Framework for Home Network: Authentication, Authorization, and Security Policy.	PAKDD Workshops	2007	DBLP DOI BibTeX RDF	Security, Authentication, Access Control, Authorization, Security Policy, Home Network
3	Mohamad Aljnidi, Jean Leneutre	A security policy system for mobile autonomic networks.	Autonomics	2007	DBLP DOI BibTeX RDF	security policy management, ad-hoc networks, autonomic computing, security models, autonomic networks
3	Nazim Benaïssa, Dominique Cansell, Dominique Méry	Integration of Security Policy into System Modeling.	B	2007	DBLP DOI BibTeX RDF	integration, refinement, security policy
3	Igor V. Kotenko, Artem Tishkov, Olga Chervatuk, Ekaterina Sidelnikova	Security Policy Verification Tool for Geographical Information Systems.	IF&GIS	2007	DBLP DOI BibTeX RDF	Security, verification, security policy
3	Julien Brunel, Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix	Security policy compliance with violation management.	FMSE	2007	DBLP DOI BibTeX RDF	labeled kripke structure, temporal logic, security policy, deontic logic, violation
3	Matthias Schwan	An extended model of security policy for multi-applicative smart cards.	ASIACCS	2007	DBLP DOI BibTeX RDF	biometrics, smart cards, security policy, electronic signatures
3	Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren	Security policy analysis using deductive spreadsheets.	FMSE	2007	DBLP DOI BibTeX RDF	SELinux policy, security policy analysis, vulnerability analysis
3	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
3	Patrick McDaniel, Atul Prakash	Methods and limitations of security policy reconciliation.	ACM Trans. Inf. Syst. Secur.	2006	DBLP DOI BibTeX RDF	Security policy
3	Yi-Ming Chen, Yung-Wei Kao	Information Flow Query and Verification for Security Policy of Security-Enhanced Linux.	IWSEC	2006	DBLP DOI BibTeX RDF	information flow, security policy, Colored Petri Nets, SELinux
3	Chenghua Tang, Shuping Yao, Zhongjie Cui, Limin Mao	A Network Security Policy Model and Its Realization Mechanism.	Inscrypt	2006	DBLP DOI BibTeX RDF	access control, Security policy, domain, rule engine
3	Sachoun Park, Gihwon Kwon	Verification of UML-Based Security Policy Model.	ICCSA	2005	DBLP DOI BibTeX RDF	Formal verification, Role-based access control, Visual specification, Security policy model
3	Sudsanguan Ngamsuriyaroj, Ali R. Hurson, Thomas F. Keefe	Maintaining Consistency of the Security Policy using Timestamp Ordering.	ITCC	2002	DBLP DOI BibTeX RDF	Performance, Concurrency control, Security policy, Consistency control, Timestamp ordering
3	M. Petkac, Lee Badger	Security Agility in Response to Intrusion Detection.	ACSAC	2000	DBLP DOI BibTeX RDF	security agility, cooperative frameworks, malicious attacks, mission critical functionality, security policy reconfiguration, runtime security policy change, prototype toolkit, flexible host-based response, distributed systems, intrusion detection, distributed processing, software components, security of data
3	Rodolphe Ortalo	A Flexible Method for Information System Security Policy Specification.	ESORICS	1998	DBLP DOI BibTeX RDF	information systems, deontic logic, security policy specification
3	Ross J. Anderson	A Security Policy Model for Clinical Information Systems.	IEEE Symposium on Security and Privacy	1996	DBLP DOI BibTeX RDF	personal health information protection, medical ethics, privacy threats, restricted user numbers, restricted record numbers, strong notification property enforcement, localized information exposure, private banking, intelligence data management, security of data, data privacy, medical information systems, information flow control, DP management, clinical information systems, security policy model
3	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
3	Anthony Boswell	Specification and Validation of a Security Policy Model.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Security, modeling, formal specification, validation, Z, security policy model
2	Giuseppe Di Modica, Orazio Tomarchio	Semantic Security Policy Matching in Service Oriented Architectures.	SERVICES	2011	DBLP DOI BibTeX RDF	Security policy, Semantic matching, WS-Policy
2	Zhengqiu He, Lifa Wu, Zheng Hong, Haiguang Lai	Semantic Security Policy for Web Service.	ISPA	2009	DBLP DOI BibTeX RDF	Ontology, Web Service, Semantic, Security Policy
2	Toshihiro Yokoyama, Miyuki Hanaoka, Makoto Shimamura, Kenji Kono	Simplifying security policy descriptions for internet servers in secure operating systems.	SAC	2009	DBLP DOI BibTeX RDF	policy description, SELinux, internet server, secure operating system
2	Hejiao Huang, Hélène Kirchner	Component-Based Security Policy Design with Colored Petri Nets.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF	security policy, colored Petri net, specification and verification, property-preservation
2	Laurent George, Valérie Viet Triem Tong, Ludovic Mé	Blare Tools: A Policy-Based Intrusion Detection System Automatically Set by the Security Policy.	RAID	2009	DBLP DOI BibTeX RDF
2	Lijun Yu, Robert B. France, Indrakshi Ray, Sudipto Ghosh	A Rigorous Approach to Uncovering Security Policy Violations in UML Designs.	ICECCS	2009	DBLP DOI BibTeX RDF
2	Simon N. Foley, William M. Fitzgerald	An Approach to Security Policy Configuration Using Semantic Threat Graphs.	DBSec	2009	DBLP DOI BibTeX RDF
2	Serif Bahtiyar, Murat Cihan, Mehmet Ufuk Çaglayan	An architectural approach for assessing system trust based on security policy specifications and security mechanisms.	SIN	2009	DBLP DOI BibTeX RDF	trust, assessment
2	Samiha Ayed, Nora Cuppens-Boulahia, Frédéric Cuppens	Deploying Security Policy in Intra and Inter Workflow Management Systems.	ARES	2009	DBLP DOI BibTeX RDF
2	Stere Preda, Frédéric Cuppens, Nora Cuppens-Boulahia, Joaquín García-Alfaro, Laurent Toutain, Yehia Elrakaiby	Semantic context aware security policy deployment.	ASIACCS	2009	DBLP DOI BibTeX RDF	access control, network security, PDP, PEP
2	Teo Poh Kuang, Hamidah Ibrahim	Security privacy access control for policy integration and conflict reconciliation in health care organizations collaborations.	iiWAS	2009	DBLP DOI BibTeX RDF	conflict reconciliation, cross-organization collaboration, security policy integration, role-based access control, logical reasoning
2	Maxim Schnjakin, Michael Menzel, Christoph Meinel	A pattern-driven security advisor for service-oriented architectures.	SWS	2009	DBLP DOI BibTeX RDF	ws-security-policy, security, web service, soa
2	Chenghua Tang, Shunzheng Yu	A Dynamic and Self-Adaptive Network Security Policy Realization Mechanism.	NPC Workshops	2008	DBLP DOI BibTeX RDF	Network security policy, policy life-cycle, structure-dissimilarity, PDP, PEP, security domain
2	Yow Tzu Lim, Pau-Chen Cheng, Pankaj Rohatgi, John Andrew Clark	MLS security policy evolution with genetic programming.	GECCO	2008	DBLP DOI BibTeX RDF	policy inference, genetic programming, security policy, MLS
2	Subhendu Aich, Shamik Sural, Arun K. Majumdar	Spatiotemporal Connectives for Security Policy in the Presence of Location Hierarchy.	TrustBus	2008	DBLP DOI BibTeX RDF	Spatiotemporal event, Policy connectives, Location hierarchy, RBAC
2	Fumiko Satoh, Takehiro Tokuda	Security Policy Composition for Composite Services.	ICWE	2008	DBLP DOI BibTeX RDF
2	Manabu Hirano, Takahiro Shinagawa, Hideki Eiraku, Shoichi Hasegawa, Kazumasa Omote, Kouichi Tanimoto, Takashi Horie, Kazuhiko Kato, Takeshi Okuda, Eiji Kawai, Suguru Yamaguchi	Introducing Role-Based Access Control to a Secure Virtual Machine Monitor: Security Policy Enforcement Mechanism for Distributed Computers.	APSCC	2008	DBLP DOI BibTeX RDF
2	Chenghua Tang, Shunzheng Yu	Assessment of Network Security Policy Based on Security Capability.	CSSE	2008	DBLP DOI BibTeX RDF
2	Yiwen Liang, Wenjun Deng	Verify Consistency between Security Policy and Firewall Policy with Answer Set Programming.	CSSE	2008	DBLP DOI BibTeX RDF
2	Fuwen Liu, Hartmut König	Security Policy Management for Peer Group Meetings.	SECURWARE	2008	DBLP DOI BibTeX RDF
2	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
2	Keith Irwin, Ting Yu, William H. Winsborough	Avoiding information leakage in security-policy-aware planning.	WPES	2008	DBLP DOI BibTeX RDF	scheduling, policy, obligations
2	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
2	John P. McDermott, Leo Freitas	A formal security policy for xenon.	FMSE	2008	DBLP DOI BibTeX RDF	refinement, open-source, z, csp, hypervisor, information-flow security, circus
2	Youngseek Kim, Jessica Howard, Sharad Ravindranath, Joon S. Park	Problem Analyses and Recommendations in DRM Security Policies.	EuroISI	2008	DBLP DOI BibTeX RDF	Security Policy, Digital Rights Management, DRM
2	Dries Vanoverberghe, Frank Piessens	A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language.	FMOODS	2008	DBLP DOI BibTeX RDF	security policy enforcement, inline reference monitor
2	Romain Laborde, Michel Kamel, François Barrère, Abdelmalek Benzekri	Implementation of a Formal Security Policy Refinement Process in WBEM Architecture.	J. Network Syst. Manage.	2007	DBLP DOI BibTeX RDF	WBEM (web-based enterprise management), network security, Security policy, security management
2	Hervé Debar, Yohann Thomas, Frédéric Cuppens, Nora Cuppens-Boulahia	Enabling automated threat response through the use of a dynamic security policy.	Journal in Computer Virology	2007	DBLP DOI BibTeX RDF
2	Igor V. Kotenko, Olga Chervatuk, Ekaterina Sidelnikova, Artem Tishkov	Hybrid Multi-module Security Policy Verification.	POLICY	2007	DBLP DOI BibTeX RDF
2	Jihène Krichène, Mohamed Hamdi, Noureddine Boudriga	Security policy validation using temporal executable specifications.	SMC	2007	DBLP DOI BibTeX RDF
2	Tsau Young Lin	Chinese wall security policy-revisited a short proof.	SMC	2007	DBLP DOI BibTeX RDF
2	Hyung Chan Kim, R. S. Ramakrishna, Wook Shin, Kouichi Sakurai	Enforcement of Integrated Security Policy in Trusted Operating Systems.	IWSEC	2007	DBLP DOI BibTeX RDF
2	Vesselin Iossifov, Theodor Totev, Arndt Tochatschek	Experiences in VoIP telephone network security policy at the University of Applied Sciences (FHTW) Berlin.	CompSysTech	2007	DBLP DOI BibTeX RDF	voice over IP, IT security
2	Klaus-Peter Fischer, Udo Bleimann, Woldemar F. Fuhrmann, Steven Furnell	Security Policy Enforcement in BPEL-Defined Collaborative Business Processes.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
2	Nicolas Stouls, Marie-Laure Potet	Security Policy Enforcement Through Refinement Process.	B	2007	DBLP DOI BibTeX RDF
2	Seppo Pahnila, Mikko T. Siponen, M. Adam Mahmood	Employees' Behavior towards IS Security Policy Compliance.	HICSS	2007	DBLP DOI BibTeX RDF
2	Sergey Bratus, Alex Ferguson, Doug McIlroy, Sean W. Smith	Pastures: Towards Usable Security Policy Engineering.	ARES	2007	DBLP DOI BibTeX RDF
2	Januszkiewicz Paulina, Pyka Marek	Designing a Security Policy According to BS 7799 Using the OCTAVE Methodology.	ARES	2007	DBLP DOI BibTeX RDF
2	Nils Gruschka, Meiko Jensen, Torben Dziuk	Event-based application of ws-security policy on soap messages.	SWS	2007	DBLP DOI BibTeX RDF	event-based processing, web services, WS-security
2	Fumiko Satoh, Yumi Yamaguchi	Generic Security Policy Transformation Framework for WS-Security.	ICWS	2007	DBLP DOI BibTeX RDF
2	Pierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois	Automatic generation of model based tests for a class of security properties.	A-MOST	2007	DBLP DOI BibTeX RDF	security policy, automatic test generation, security properties
2	Wissam Mallouli, Jean-Marie Orset, Ana R. Cavalli, Nora Cuppens-Boulahia, Frédéric Cuppens	A formal approach for testing security rules.	SACMAT	2007	DBLP DOI BibTeX RDF	verification and testing, test generation, security policy, SDL, EFSM, OrBAC
2	Wissam Mallouli, Ana R. Cavalli	Testing Security Rules with Decomposable Activities.	HASE	2007	DBLP DOI BibTeX RDF	Verification and Testing, Test Generation, Security Policy, SDL, Extended Finite State Machine
2	Samiha Ayed, Nora Cuppens-Boulahia, Frédéric Cuppens	An Integrated Model for Access Control and Information Flow Requirements.	ASIAN	2007	DBLP DOI BibTeX RDF	DTE, RBAC, Security Policy, MLS, OrBAC
2	Geon Woo Kim, Deok-Gyu Lee, Jong Wook Han, Sang Wook Kim	Security Technologies Based on Home Gateway for Making Smart Home Secure.	EUC Workshops	2007	DBLP DOI BibTeX RDF	Security, Authentication, Access Control, Authorization, Security Policy, Smart Home, Home Network
2	Christos Fragos, Maria Karyda, Evangelos A. Kiountouzis	Using the Lens of Circuits of Power in Information Systems Security Management.	TrustBus	2007	DBLP DOI BibTeX RDF	information systems security management, Circuits of Power Framework, power, security policy
2	Almut Herzog, Nahid Shahmehri	A Usability Study of Security Policy Management.	SEC	2006	DBLP DOI BibTeX RDF
2	Saravanan Muthaiyah, Larry Kerschberg	Dynamic Integration and Semantic Security Policy Ontology Mapping for Semantic Web Services (SWS).	ICDIM	2006	DBLP DOI BibTeX RDF
2	Joonwoong Kim, Alastair R. Beresford, Frank Stajano	Towards a Security Policy for Ubiquitous Healthcare Systems (Position Paper).	ICUCT	2006	DBLP DOI BibTeX RDF
2	Adam J. Lee, Jodie P. Boyer, Lars E. Olson, Carl A. Gunter	Defeasible security policy composition for web services.	FMSE	2006	DBLP DOI BibTeX RDF	security policy composition, web services, defeasible logic
2	Chuchang Liu, Mehmet A. Orgun	Towards security labelling.	ACSC	2006	DBLP DOI BibTeX RDF	label validation, security policy, open systems, security labelling
2	Stephen S. Yau, Yisheng Yao, Min Yan	Development and Runtime Support for Situation-Aware Security in Autonomic Computing.	ATC	2006	DBLP DOI BibTeX RDF	model-driven development framework, situation-aware middleware, security, ubiquitous computing, Autonomic computing, security policy
2	Muhammad Abedin, Syeda Nessa, Latifur Khan, Bhavani M. Thuraisingham	Detection and Resolution of Anomalies in Firewall Policy Rules.	DBSec	2006	DBLP DOI BibTeX RDF	Network Security, Security Policy, Firewalls, Anomalies, Packet Filters
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	Michael Manley, Cheri McEntee, Anthony Molet, Joon S. Park	Towards an Effective Wireless Security Policy for Sensitive Organizations.	ISI	2005	DBLP DOI BibTeX RDF
2	Rachid Echahed, Frédéric Prost	Security policy in a declarative style.	PPDP	2005	DBLP DOI BibTeX RDF	confidentiality, non-interference
2	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
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	Bill Tsoumas, Stelios Dritsas, Dimitris Gritzalis	An Ontology-Based Approach to Information Systems Security Management.	MMM-ACNS	2005	DBLP DOI BibTeX RDF	IS Security, Security Policy, Security Management, Security Ontology
2	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
2	Michael Drouineaud, Maksym Bortin, Paolo Torrini, Karsten Sohr	A First Step Towards Formal Verification of Security Policy Properties for RBAC.	QSIC	2004	DBLP DOI BibTeX RDF
2	Sihn-hye Park, Wonil Kim, Dong-Kyoo Kim	Autonomic Protection System Using Adaptive Security Policy.	ICCSA	2004	DBLP DOI BibTeX RDF
2	Yair Bartal, Alain J. Mayer, Kobbi Nissim, Avishai Wool	Firmato: A novel firewall management toolkit.	ACM Trans. Comput. Syst.	2004	DBLP DOI BibTeX RDF	model definition language, visualization, management, Security policy, firewall
2	Won Young Lee, Hee Suk Seo, Tae Ho Cho	Modeling of Policy-Based Network with SVDB.	AIS	2004	DBLP DOI BibTeX RDF	PBNM (Policy-based Network Management), simulation, Data Mining, network security, Security Policy, DEVS formalism
2	Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Karl N. Levitt	Formal Reasoning About Intrusion Detection Systems.	RAID	2004	DBLP DOI BibTeX RDF	verification, formal method, Intrusion detection, security policy
2	Patrick C. K. Hung, Guang-Sha Qui	Implementing conflict of interest assertions in WS-policy with separation of duties for Web-Services matchmaking process.	Inf. Syst. E-Business Management	2004	DBLP DOI BibTeX RDF	Matchmaking process, Separation of duties, Conflict of interest, WS-policy, Chinese wall security policy
2	Peter Herrmann	Formal Security Policy Verification of Distributed Component-Structured Software.	FORTE	2003	DBLP DOI BibTeX RDF
2	Symon Chang, Qiming Chen, Meichun Hsu	Managing Security Policy in a Large Distributed Web Services Environment.	COMPSAC	2003	DBLP DOI BibTeX RDF
2	George Angelis, Stefanos Gritzalis, Costas Lambrinoudakis	Security Policy Configuration Issues in Grid Computing Environments.	SAFECOMP	2003	DBLP DOI BibTeX RDF
2	Patrick McDaniel, Atul Prakash	A Flexible Architecture for Security Policy Enforcement.	DISCEX	2003	DBLP DOI BibTeX RDF
2	Hirotake Abe, Kazuhiko Kato	Security Policy Descriptions Through the Use of Control Structure of a Target Program.	ISSS	2003	DBLP DOI BibTeX RDF
2	Feng Li, Junzhou Luo	A Security Policy Implementation Model in Computational GRID.	GCC	2003	DBLP DOI BibTeX RDF