Search results for "enforcement"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
3	Joe Tullio, Elaine M. Huang, David Wheatley, Harry Zhang, Claudia V. S. Guerrero, Amruta Tamdoo	Experience, adjustment, and engagement: the role of video in law enforcement.	CHI	2010	DBLP DOI BibTeX RDF	ubiquitous computing, surveillance, qualitative studies, contextual inquiry, law enforcement, video technologies
3	Jay Ligatti, Lujo Bauer, David Walker	Run-Time Enforcement of Nonsafety Policies.	ACM Trans. Inf. Syst. Secur.	2009	DBLP DOI BibTeX RDF	monitoring, safety, Security policies, liveness, policy enforcement, security automata
3	Lu Yan, Nasser Abouzakhar, Hannan Xiao	Multimodal security enforcement framework for wireless ad hoc networks.	IWCMC	2009	DBLP DOI BibTeX RDF	malicious, security, trust, intrusion detection, framework, cooperative, multimodal, wireless ad hoc networks, incentive, selfish, enforcement
3	Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier	Enforcement monitoring wrt. the safety-progress classification of properties.	SAC	2009	DBLP DOI BibTeX RDF	runtime enforcement, safety-progress, monitor, synthesis, property
3	Brian J. Corcoran, Nikhil Swamy, Michael W. Hicks	Cross-tier, label-based security enforcement for web applications.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	database programming, security enforcement, compilers, web applications, type systems
3	Mahesh V. Tripunitara, Bogdan Carbunar	Efficient access enforcement in distributed role-based access control (RBAC) deployments.	SACMAT	2009	DBLP DOI BibTeX RDF	access control, efficiency, bloom filter, enforcement
3	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
3	Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan	Concurrent Enforcement of Usage Control Policies.	POLICY	2008	DBLP DOI BibTeX RDF	Policy, System Management, Usage Control, Enforcement
3	Anas Abou El Kalam, Yves Deswarte	Critical Infrastructures Security Modeling, Enforcement and Runtime Checking.	CRITIS	2008	DBLP DOI BibTeX RDF	Security policies and models, access control enforcement, security of critical infrastructures, runtime model checking
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	Javier Vázquez-Salceda, Sergio Álvarez-Napagao	Using SOA Provenance to Implement Norm Enforcement in e-Institutions.	COIN@AAMAS&AAAI	2008	DBLP DOI BibTeX RDF	norm enforcement, web services, MAS, SOA, architecture, monitoring, provenance, electronic institutions, SOA Governance
3	David W. Chadwick, Stijn F. Lievens	Enforcing "sticky" security policies throughout a distributed application.	Middleware Security	2008	DBLP DOI BibTeX RDF	application independent PEP, obligation enforcement, privacy policy enforcement, PDP, sticky policies
3	Zhiming Zhang, Weirong Jiang, Yibo Xue	A Trust Model Based Cooperation Enforcement Mechanism in Mesh Networks.	ICN	2007	DBLP DOI BibTeX RDF	cooperation enforcement, mesh network, trust model, PID
3	M. Rogers, K. Scarborough, K. Frakes, C. San Martin	Survey of Law Enforcement Perceptions Regarding Digital Evidence.	IFIP Int. Conf. Digital Forensics	2007	DBLP DOI BibTeX RDF	State and local law enforcement, prosecutors, judges, digital evidence
3	Jeongsoo Kim	The impact of e-government on child support enforcement policy outcomes.	DG.O	2007	DBLP DOI BibTeX RDF	automated information system, child support enforcement, policy outcome measurement, e-government
3	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
3	Marco Casassa Mont, Robert Thyne	Privacy policy enforcement in enterprises with identity management solutions.	PST	2006	DBLP DOI BibTeX RDF	privacy, access control, identity management, policy enforcement
3	Hsinchun Chen, Homa Atabakhsh, Alan Gang Wang, Siddharth Kaza, Chunju Tseng, Yuan Wang, Shailesh Joshi, Tim Petersen, Chuck Violette	COPLINK center: social network analysis and identity deception detection for law enforcement and homeland security intelligence and security informatics: a crime data mining approach to developing border safe research.	DG.O	2006	DBLP DOI BibTeX RDF	border safety, identity matching, naïve bayes model, data mining, semi-supervised learning, mutual information, law enforcement, homeland security, intelligence and security informatics
3	Marco Casassa Mont, Robert Thyne	A Systemic Approach to Automate Privacy Policy Enforcement in Enterprises.	Privacy Enhancing Technologies	2006	DBLP DOI BibTeX RDF	privacy-aware access control, obligation management, privacy, identity management, policy enforcement
3	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
3	Hsinchun Chen, Homa Atabakhsh, Jennifer Jie Xu, Alan Gang Wang, Byron Marshall, Siddharth Kaza, Chunju Tseng, Shauna Eggers, Hemanth Gowda, Tim Petersen, Chuck Violette	Coplink center: social network analysis and identity deception detection for law enforcement and homeland security intelligence and security informatics: a crime data mining approach to developing border safe research.	DG.O	2005	DBLP DOI BibTeX RDF	identity matching, data mining, social network analysis, law enforcement, homeland security
3	Ning Jiang, Kien A. Hua, Mounir A. Tantaoui	Collaboration Enforcement and Adaptive Data Redirection in Mobile Ad Hoc Networks Using Only First-Hand Experience.	MWCN	2004	DBLP DOI BibTeX RDF	Collaboration enforcement, First-hand experience, Mobile Ad Hoc Network, Reputation
3	Ramaswamy Chandramouli	Enterprise access policy enforcement for applications through hybrid models and XSLT technologies.	ICEC	2004	DBLP DOI BibTeX RDF	domain type enforcement (DTE), policy rules, role-based access control (RBAC), XML schema, XSLT, provisioning
3	Eladio Domínguez, Jorge Lloret, María Antonia Zapata	Integrity Constraint Enforcement by Means of Trigger Templates.	ADVIS	2002	DBLP DOI BibTeX RDF	Integrity constraint enforcement, Trigger generation, Trigger template, Active database systems
3	Robert Grimm, Brian N. Bershad	Separating access control policy, enforcement, and functionality in extensible systems.	ACM Trans. Comput. Syst.	2001	DBLP DOI BibTeX RDF	access check, policy-neutral enforcement, protection domain transfer, Java, security policy, auditing, SPIN, extensible systems, protection domain
3	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
3	P. Greve, J. Hoffman, R. E. Smith	Using Type Enforcement to Assure a Configurable Guard.	ACSAC	1997	DBLP DOI BibTeX RDF	type enforcement, configurable guard, guard systems, administrator configurable guard, input channel, connected output channel, assured processes, assurance arguments, operational guards, pipeline, electronic mail, electronic mail, trusted components
3	Kurt Maly, Ajay K. Gupta 0003, Bjorn Kvande, Irwin B. Levinstein, Ravi Mukkamala, S. Nanjangud, Margrethe H. Olson, Roy Whitney, Rita Chambers	A privilege management and enforcement system for distributed resource sharing. (PDF / PS)	WETICE	1996	DBLP DOI BibTeX RDF	privilege management, enforcement system, distributed resource sharing, information based world, controlled access, delegated resource management, end user access, World Wide Web based interfaces, DCE based authentication, Distributed Informatics Computing and Collaborative Environments project, Internet, Internet, access control, operating system, authorization, X Windows, distributed environment, unauthorized access, data manipulation
2	Sören Preibusch	Information Flow Control for Static Enforcement of User-Defined Privacy Policies.	POLICY	2011	DBLP DOI BibTeX RDF	privacy policy enforcement, user-defined policies, JIF, privacy negotiations, electronic commerce, case-study, information flow control
2	Enrico Lovat, Alexander Pretschner	Data-centric multi-layer usage control enforcement: a social network example.	SACMAT	2011	DBLP DOI BibTeX RDF
2	Shashank Shanbhag, Tilman Wolf	Enforcement of Data-Plane Policies in Next-Generation Networks.	POLICY	2010	DBLP DOI BibTeX RDF	data-plane policy enforcement, network services, automated planning, packet processing, next-generation Internet
2	Mohammad Nauman, Sohail Khan, Xinwen Zhang	Apex: extending Android permission model and enforcement with user-defined runtime constraints.	ASIACCS	2010	DBLP DOI BibTeX RDF	policy framework, constraints, Android, mobile platforms
2	Ali Alzahrani, Helge Janicke, Sarshad Abubaker	Decentralized XACML Overlay Network.	CIT	2010	DBLP DOI BibTeX RDF	collaborative policy enforcement, decentralised policy enforcement, PDPs coordination
2	Ehab Al-Shaer, Adel El-Atawy, Taghrid Samak	Automated pseudo-live testing of firewall configuration enforcement.	IEEE Journal on Selected Areas in Communications	2009	DBLP DOI BibTeX RDF
2	Puneet Gupta, Scott D. Stoller	Verification of Security Policy Enforcement in Enterprise Systems.	SEC	2009	DBLP DOI BibTeX RDF
2	Ivan Markovic, Sukesh Jain, Mahmoud El-Gayyar, Armin B. Cremers, Nenad Stojanovic	Modeling and Enforcement of Business Policies on Process Models with Maestro.	ESWC	2009	DBLP DOI BibTeX RDF
2	Jianfeng Lu, Ruixuan Li, Zhengding Lu, Jinwei Hu, Xiaopu Ma	Specification and Enforcement of Static Separation-of-Duty Policies in Usage Control.	ISC	2009	DBLP DOI BibTeX RDF	constraint, Separation-of-Duty, usage control
2	Zhengping Wu, Lifeng Wang	An Enforcement Architecture for Security and Trust Policies in Federated Web-Service-Based Systems.	COMPSAC	2009	DBLP DOI BibTeX RDF
2	Matthew Prior, Terry Windeatt	Improved Uniformity Enforcement in Stochastic Discrimination.	MCS	2009	DBLP DOI BibTeX RDF
2	Matús Harvan, Alexander Pretschner	State-Based Usage Control Enforcement with Data Flow Tracking using System Call Interposition.	NSS	2009	DBLP DOI BibTeX RDF	access control, operating systems, information flow, usage control, system calls, reference monitor, enforcement
2	Patrick G. Watson, Penny Duquenoy, Margaret Brennan, Matt Jones, James Walkerdine	Towards an ethical interaction design: the issue of including stakeholders in law-enforcement software development.	OZCHI	2009	DBLP DOI BibTeX RDF	ethics centred development, socio-technical considerations, stakeholder engagement, participatory design, new public management
2	Nizar Kheir, Hervé Debar, Frédéric Cuppens, Nora Cuppens-Boulahia, Jouni Viinikka	A Service Dependency Modeling Framework for Policy-Based Response Enforcement.	DIMVA	2009	DBLP DOI BibTeX RDF
2	Nataliia Bielova, Fabio Massacci, Andrea Micheletti	Towards Practical Enforcement Theories.	NordSec	2009	DBLP DOI BibTeX RDF
2	Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi	Using Edit Automata for Rewriting-Based Security Enforcement.	DBSec	2009	DBLP DOI BibTeX RDF	program rewriting, security properties, Execution monitoring, edit automata
2	Christoph Sturm, Ela Hunt, Marc H. Scholl	Distributed Privilege Enforcement in PACS.	DBSec	2009	DBLP DOI BibTeX RDF
2	Min Xu, Duminda Wijesekera	A role-based XACML administration and delegation profile and its enforcement architecture.	SWS	2009	DBLP DOI BibTeX RDF	arbac, access control, authorization, delegation, xacml, web service security, administration, rbac
2	Hassan Takabi, Minsoo Kim 0001, James B. D. Joshi, Michael B. Spring	An architecture for specification and enforcement of temporal access control constraints using OWL.	SWS	2009	DBLP DOI BibTeX RDF	gtrbac, access control, temporal constraints, owl
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	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
2	David A. Basin, Samuel J. Burri, Günter Karjoth	Dynamic Enforcement of Abstract Separation of Duty Constraints.	ESORICS	2009	DBLP DOI BibTeX RDF
2	Mihnea Andrei, Xun Cheng, Sudipto Chowdhuri, Curtis Johnson, Edwin Seputis	Ordering, distinctness, aggregation, partitioning and DQP optimization in sybase ASE 15.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	abstract plans, distinctness, eager aggregation, lazy aggregation, logical operators, logical properties, physical operators, property enforcement, optimization, search engine, aggregation, grouping, ordering, search space, operator model, physical properties
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	Kirk J. Nahra	HIPAA Security Enforcement Is Here.	IEEE Security & Privacy	2008	DBLP DOI BibTeX RDF
2	Kfir Karmon, Liran Liss, Assaf Schuster	GWiQ-P: an efficient decentralized grid-wide quota enforcement protocol.	Operating Systems Review	2008	DBLP DOI BibTeX RDF
2	Olcay Kursun, Michael Georgiopoulos, Kenneth M. Reynolds	Name Matching in Law Enforcement Database.	Intelligence and Security Informatics	2008	DBLP DOI BibTeX RDF
2	Adrian Perreau de Pinninck, Carles Sierra, W. Marco Schorlemmer	Distributed Norm Enforcement: Ostracism in Open Multi-Agent Systems.	Computable Models of the Law, Languages, Dialogues, Games, Ontologies	2008	DBLP DOI BibTeX RDF
2	Wei-Tek Tsai, Xinyu Zhou, Yinong Chen	SOA Simulation and Verification by Event-Driven Policy Enforcement.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF
2	Anindya Banerjee, David A. Naumann, Stan Rosenberg	Expressive Declassification Policies and Modular Static Enforcement.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	verification, information flow, declassification, downgrading
2	Thomas Scheffler, Stefan Geiß, Bettina Schnor	An Implementation of a Privacy Enforcement Scheme based on the Java Security Framework using XACML Policies.	SEC	2008	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	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	Leonard Barolli, Arjan Durresi, Fatos Xhafa, Akio Koyama	A Fuzzy-Based Handover System for Wireless Cellular Networks: A Case Study for Handover Enforcement.	NBiS	2008	DBLP DOI BibTeX RDF
2	Arati Baliga, Vinod Ganapathy, Liviu Iftode	Automatic Inference and Enforcement of Kernel Data Structure Invariants.	ACSAC	2008	DBLP DOI BibTeX RDF
2	Juan Carlos Saez, José Ignacio Gómez, Manuel Prieto	Improving Priority Enforcement via Non-Work-Conserving Scheduling.	ICPP	2008	DBLP DOI BibTeX RDF
2	Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel	A Framework of Composable Access Control Definition, Enforcement and Assurance.	SCCC	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	Bernhard Jansen, HariGovind V. Ramasamy, Matthias Schunter	Policy enforcement and compliance proofs for Xen virtual machines.	VEE	2008	DBLP DOI BibTeX RDF	virtual machines, trusted computing, integrity management
2	Peter Bodorik, Dawn N. Jutla	Privacy with Web Serivces: Intelligence Gathering and Enforcement.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
2	Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier	Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties.	ICISS	2008	DBLP DOI BibTeX RDF
2	Ivan P. L. Png, Chen-Yu Wang, Qiu-Hong Wang	The Deterrent and Displacement Effects of Information Security Enforcement: International Evidence.	HICSS	2008	DBLP DOI BibTeX RDF
2	Vladimir Stantchev, Christian Schröpfer	Techniques for service level enforcement in web-services based systems.	iiWAS	2008	DBLP DOI BibTeX RDF	architectural translucency, nonfunctional properties, web services, replication, system architecture, service levels, Formal representation
2	Stephen Chong, Andrew C. Myers	End-to-End Enforcement of Erasure and Declassification.	CSF	2008	DBLP DOI BibTeX RDF	Erasure, Expressive security policies, Information flow, Language-based security, Noninterference, Declassification
2	Weihe Chen, Zhu Tang, Shiguang Ju	Enforcement of Spatial Separation of Duty Constraint.	ICYCS	2008	DBLP DOI BibTeX RDF
2	Ruo Ando, Youki Kadobayashi, Yoichi Shinoda	An Enhancement of Trusted Domain Enforcement using VMM Interruption Mechanism.	ICYCS	2008	DBLP DOI BibTeX RDF
2	Xinwen Zhang, Jean-Pierre Seifert, Ravi S. Sandhu	Security Enforcement Model for Distributed Usage Control.	SUTC	2008	DBLP DOI BibTeX RDF
2	Yuh-Jong Hu, Hong-Yi Guo, Guang-De Lin	Semantic Enforcement of Privacy Protection Policies via the Combination of Ontologies and Rules.	SUTC	2008	DBLP DOI BibTeX RDF	ontology, semantic web, rule, privacy protection, web 3.0, semantic email
2	Giannis V. Koumoutsos, Spyros G. Denazis, Kleanthis Thramboulidis	SLA e-Negotiations, Enforcement and Management in an Autonomic Environment.	MACE	2008	DBLP DOI BibTeX RDF
2	Basel Katt, Xinwen Zhang, Ruth Breu, Michael Hafner, Jean-Pierre Seifert	A general obligation model and continuity: enhanced policy enforcement engine for usage control.	SACMAT	2008	DBLP DOI BibTeX RDF
2	Anna Cinzia Squicciarini, Federica Paci	Monitoring Contract Enforcement within Virtual Organizations.	CollaborateCom	2008	DBLP DOI BibTeX RDF	Collaboration, Access Control, Monitoring, Virtual Organizations
2	Ying Jin, Zepeng Li, Da Wei, Lei Liu	Automatic Generation and Enforcement of Security Contract for Pervasive Application.	EUC	2008	DBLP DOI BibTeX RDF
2	Stéphane Onno	A Federated Physical and Logical Access Control Enforcement Model.	ARES	2008	DBLP DOI BibTeX RDF	access control federation, logical access control, physical access control, Bell-lapadula
2	Walter Chang, Brandon Streiff, Calvin Lin	Efficient and extensible security enforcement using dynamic data flow analysis.	ACM Conference on Computer and Communications Security	2008	DBLP DOI BibTeX RDF	security enforcement, static analysis, dynamic data flow analysis
2	Sergey Bratus, Michael E. Locasto, Ashwin Ramaswamy, Sean W. Smith	Traps, events, emulation, and enforcement: managing the yin and yang of virtualization-based security.	VMSec	2008	DBLP DOI BibTeX RDF	debugging, virtualization, security policy, traps
2	Li Ding, Brandon Dixon	Using an edge-dual graph and k-connectivity to identify strong connections in social networks.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	crime investigation, strong connections, social network analysis, law enforcement, k-connectivity
2	Eric Diehl	A four-layer model for security of digital rights management.	Digital Rights Management Workshop	2008	DBLP DOI BibTeX RDF	dtcp, oma, rights enforcement, digital rights management, drm, dvb
2	Stefan Kovachev, Patrick Reichert, Hendrik Speck	Crimeblips: web based framework for crime incident analysis and visualization.	iiWAS	2008	DBLP DOI BibTeX RDF	Berlin, Polizei, University of Applied Sciences Kaiserlautern, crime statistics, crimeblips, incident patterns, kriminalstatistik, police department, data mining, clustering, visualization, visualizing, GIS, indexing, graphical user interface, map, mapping, analysis, filtering, hot spots, trends, law enforcement, web based services, linguistic processing
2	Ted Huffmire, Brett Brotherton, Nick Callegari, Jonathan Valamehr, Jeff White, Ryan Kastner, Timothy Sherwood	Designing secure systems on reconfigurable hardware.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	controlled sharing, enforcement mechanisms, security primitives, Field programmable gate arrays (FPGAs), static analysis, advanced encryption standard (AES), security policies, systems-on-a-chip (SoCs), separation, isolation, memory protection, reference monitors, hardware security, execution monitors
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	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	Javier Vázquez-Salceda, Huib Aldewereld, Davide Grossi, Frank Dignum	From human regulations to regulated software agents' behavior.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Norm enforcement, Multi agent systems, Norms, Electronic institutions
2	Ron Gabor, Shlomo Weiss, Avi Mendelson	Fairness enforcement in switch on event multithreading.	TACO	2007	DBLP DOI BibTeX RDF	SOE, Switch on Event multithreading, coarse-grained multithreading, weighted speedup, performance, fairness, throughput, multithreading
2	Osmar Marchi dos Santos, Andy J. Wellings	Cost enforcement in the real-time specification for Java.	Real-Time Systems	2007	DBLP DOI BibTeX RDF	Fault-tolerance, Model checking, Real-time specification for Java, Java programming language
2	Dharmendra Saraswat, Ramachandra Achar, Michel S. Nakhla	Fast Passivity Verification and Enforcement via Reciprocal Systems for Interconnects With Large Order Macromodels.	IEEE Trans. VLSI Syst.	2007	DBLP DOI BibTeX RDF
2	Lu'ay A. Wahsheh, Jim Alves-Foss	Using Policy Enforcement Graphs in a Separation-Based High Assurance Architecture.	IRI	2007	DBLP DOI BibTeX RDF
2	Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan	Deriving Enforcement Mechanisms from Policies.	POLICY	2007	DBLP DOI BibTeX RDF
2	Adel El-Atawy, Taghrid Samak, Zein Wali, Ehab Al-Shaer, Frank Lin, Christopher Pham, Sheng Li	An Automated Framework for Validating Firewall Policy Enforcement.	POLICY	2007	DBLP DOI BibTeX RDF
2	Anna Cinzia Squicciarini, Abhilasha Bhargav-Spantzel, Elisa Bertino, Alexei B. Czeksis	Auth-SL - A System for the Specification and Enforcement of Quality-Based Authentication Policies.	ICICS	2007	DBLP DOI BibTeX RDF
2	Luis Ceze, James Tuck, Pablo Montesinos, Josep Torrellas	BulkSC: bulk enforcement of sequential consistency.	ISCA	2007	DBLP DOI BibTeX RDF	bulk, chip multiprocessors, programmability, sequential consistency, memory consistency models
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