Search results for "reference monitor"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	Jason Crampton	A reference monitor for workflow systems with constrained task execution.	SACMAT	2005	DBLP DOI BibTeX RDF	entailment constraint, workflow system, reference monitor, authorization constraint
2	Hyung Chan Kim, R. S. Ramakrishna, Wook Shin, Kouichi Sakurai	A Policy Language for the Extended Reference Monitor in Trusted Operating Systems.	ARES	2007	DBLP DOI BibTeX RDF
2	Maxwell N. Krohn, Alexander Yip, Micah Z. Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert Morris	Information flow control for standard OS abstractions.	SOSP	2007	DBLP DOI BibTeX RDF	DIFC, decentralized information flow control, endpoints, system call interposition, web services, reference monitor
2	Hyung Chan Kim, Wook Shin, R. S. Ramakrishna, Kouichi Sakurai	Design and Implementation of an Extended Reference Monitor for Trusted Operating Systems.	ISPEC	2006	DBLP DOI BibTeX RDF
2	Jongwoon Park, Gunhee Lee, Sangha Lee, Dong-Kyoo Kim	RPS: An Extension of Reference Monitor to Prevent Race-Attacks.	PCM	2004	DBLP DOI BibTeX RDF
2	Ajay Chander, Drew Dean, John C. Mitchell	A Distributed High Assurance Reference Monitor.	ISC	2004	DBLP DOI BibTeX RDF
2	Winfried E. Kühnhauser	Root Kits: an operating systems viewpoint.	Operating Systems Review	2004	DBLP DOI BibTeX RDF	error exploitation, error proliferation, kernel abstractions, mandatory and discretionary access control, privilege proliferation, secure program execution, reference monitor, trusted computing base, security domains, secure booting
2	Yasushi Shinjo, Yoshinori Nakata, Kozo Itano	Securing RPC with a Reference Monitor for System Calls.	ISSS	2003	DBLP DOI BibTeX RDF
2	Yasushi Shinjo, Kotaro Eiraku, Atsushi Suzuki, Kozo Itano, Calton Pu	Enhancing Access Control with SysGuard, Reference Monitor Supporting Portable and Composable Kernel Module.	PRDC	2002	DBLP DOI BibTeX RDF
2	Úlfar Erlingsson, Fred B. Schneider	IRM Enforcement of Java Stack Inspection. (PDF / PS)	IEEE Symposium on Security and Privacy	2000	DBLP DOI BibTeX RDF	security, Java, language-based security, reference monitor, stack inspection
2	Teresa F. Lunt, Dorothy E. Denning, Roger R. Schell, Mark Heckman, William R. Shockley	The SeaView Security Model.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	policy formalization, new data, SeaView security model, clearances, mandatory security, standard relational model, multilevel relations, discretionary security, application-independent properties, entity integrity, polyinstantiation integrity, classifications, software engineering, relational databases, security of data, users, labeling, data consistency, reference monitor, formal security model, referential integrity, derived data, multilevel database
1	Trent Jaeger	Reference Monitor.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Meera Sridhar, Kevin W. Hamlen	Flexible in-lined reference monitor certification: challenges and future directions.	PLPV	2011	DBLP DOI BibTeX RDF
1	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
1	Leo A. Meyerovich, Adrienne Porter Felt, Mark S. Miller	Object views: fine-grained sharing in browsers.	WWW	2010	DBLP DOI BibTeX RDF	ecmascript, membrane, remote object, javascript, aspect, browser, wrapper, web security, reference monitor, same origin policy
1	Jason Franklin, Sagar Chaki, Anupam Datta, Arvind Seshadri	Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size.	IEEE Symposium on Security and Privacy	2010	DBLP DOI BibTeX RDF	small model theorem, SecVisor, security, model checking, hypervisor, reference monitor, parametric verification
1	Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu, Keith Irwin	Toward practical authorization-dependent user obligation systems.	ASIACCS	2010	DBLP DOI BibTeX RDF	RBAC, policy, accountability, obligations, authorization systems
1	Kumar Avijit, Anupam Datta, Robert Harper	Distributed programming with distributed authorization.	TLDI	2010	DBLP DOI BibTeX RDF	phase distinction, proof-carrying authorization, distributed programming, logical frameworks, authorization logic
1	Fei Xu, K. P. Chow, Jingsha He, Xu Wu	Privacy Reference Monitor - A Computer Model for Law Compliant Privacy Protection.	ICPADS	2009	DBLP DOI BibTeX RDF
1	Basel Katt, Michael Hafner, Xinwen Zhang	Building a stateful reference monitor with coloured petri nets.	CollaborateCom	2009	DBLP DOI BibTeX RDF
1	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
1	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
1	Alexander Yip, Neha Narula, Maxwell N. Krohn, Robert Morris	Privacy-preserving browser-side scripting with BFlow.	EuroSys	2009	DBLP DOI BibTeX RDF	javascript, labels, information flow control, web platforms
1	Arnar Birgisson, Úlfar Erlingsson	An implementation and semantics for transactional memory introspection in Haskell.	PLAS	2009	DBLP DOI BibTeX RDF	transactional memory, reference monitors
1	Ram Krishnan, Ravi S. Sandhu	A Hybrid Enforcement Model for Group-centric Secure Information Sharing.	CSE	2009	DBLP DOI BibTeX RDF
1	William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps	Verifying Information Flow Control over Unbounded Processes.	FM	2009	DBLP DOI BibTeX RDF
1	Yuri Demchenko, Cees de Laat, Oscar Koeroo, David L. Groep	Re-thinking Grid Security Architecture.	eScience	2008	DBLP DOI BibTeX RDF	Open Grid Security Architecture, Security Context, Authorisation session, Authentication, Grids, Security models, Reference Monitor, Trusted Computing Base
1	Arnar Birgisson, Mohan Dhawan, Úlfar Erlingsson, Vinod Ganapathy, Liviu Iftode	Enforcing authorization policies using transactional memory introspection.	ACM Conference on Computer and Communications Security	2008	DBLP DOI BibTeX RDF	transactional memory, reference monitors
1	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
1	Jinpeng Wei, Bryan D. Payne, Jonathon Giffin, Calton Pu	Soft-Timer Driven Transient Kernel Control Flow Attacks and Defense.	ACSAC	2008	DBLP DOI BibTeX RDF
1	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
1	Alessandro Castrucci, Fabio Martinelli, Paolo Mori, Francesco Roperti	Enhancing Java ME Security Support with Resource Usage Monitoring.	ICICS	2008	DBLP DOI BibTeX RDF
1	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
1	Yasuharu Katsuno, Yuji Watanabe, Sanehiro Furuichi, Michiharu Kudo	Chinese-wall process confinement for practical distributed coalitions.	SACMAT	2007	DBLP DOI BibTeX RDF	distributed coalition, process confinement, distributed system, mandatory access control
1	Aniruddha Bohra, Stephen Smaldone, Liviu Iftode	FRAC: Implementing Role-Based Access Control for Network File Systems.	NCA	2007	DBLP DOI BibTeX RDF
1	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
1	Shibashis Guha, Srinath Srinivasa, Saikat Mukherjee, Ranajoy Malakar	LogicFence: A Framework for Enforcing Global Integrity Constraints at Runtime.	IDEAS	2006	DBLP DOI BibTeX RDF	Interaction schema, Coordination, Contracts, Reference monitor, Constraint enforcement
1	Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider	Certified In-lined Reference Monitoring on .NET.	PLAS	2006	DBLP DOI BibTeX RDF	in-lined reference monitoring, program rewriting, reference monitors, security automata, execution monitoring
1	Jonathan M. McCune, Trent Jaeger, Stefan Berger, Ramón Cáceres, Reiner Sailer	Shamon: A System for Distributed Mandatory Access Control.	ACSAC	2006	DBLP DOI BibTeX RDF
1	René Rydhof Hansen, Christian W. Probst, Flemming Nielson	Sandboxing in myKlaim.	ARES	2006	DBLP DOI BibTeX RDF
1	Ali E. Abdallah, Etienne J. Khayat	Formal Z Specifications of Several Flat Role-Based Access Control Models.	SEW	2006	DBLP DOI BibTeX RDF	Authorization, Role-Based Access Control, Formal Models, Z specification
1	Vinod Ganapathy, Trent Jaeger, Somesh Jha	Retrofitting Legacy Code for Authorization Policy Enforcement.	IEEE Symposium on Security and Privacy	2006	DBLP DOI BibTeX RDF
1	Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty	On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors.	LOPSTR	2006	DBLP DOI BibTeX RDF
1	Nathan Whitehead	A Certified Distributed Security Logic for Authorizing Code.	TYPES	2006	DBLP DOI BibTeX RDF
1	Ravi S. Sandhu, Xinwen Zhang	Peer-to-peer access control architecture using trusted computing technology.	SACMAT	2005	DBLP DOI BibTeX RDF	access control, trusted computing, security architecture, policy enforcement
1	Zhijun He, Tuan Phan, Thu D. Nguyen	Enforcing Enterprise-wide Policies Over Standard Client-Server Interactions.	SRDS	2005	DBLP DOI BibTeX RDF
1	Naftaly H. Minsky	A Decentralized Treatment of a Highly Distributed Chinese-Wall Policy.	POLICY	2004	DBLP DOI BibTeX RDF
1	Jason Crampton	Specifying and enforcing constraints in role-based access control.	SACMAT	2003	DBLP DOI BibTeX RDF	enforcement context, separation of duty constraint, role-based access control, authorization constraint
1	Anthony Harrington, Christian Damsgaard Jensen	Cryptographic access control in a distributed file system.	SACMAT	2003	DBLP DOI BibTeX RDF	access control, cryptography, network file systems
1	Hirotake Abe, Kazuhiko Kato	Security Policy Descriptions Through the Use of Control Structure of a Target Program.	ISSS	2003	DBLP DOI BibTeX RDF
1	Ravi S. Sandhu, Jaehong Park	Usage Control: A Vision for Next Generation Access Control.	MMM-ACNS	2003	DBLP DOI BibTeX RDF
1	Jaehong Park, Ravi S. Sandhu	Towards usage control models: beyond traditional access control.	SACMAT	2002	DBLP DOI BibTeX RDF
1	Konstantin Beznosov	Object Security Attributes: Enabling Application-Specific Access Control in Middleware.	CoopIS/DOA/ODBASE	2002	DBLP DOI BibTeX RDF
1	Marc G. Welz, Andrew Hutchison	Interfacing Trusted Applications with Intrusion Detection Systems.	Recent Advances in Intrusion Detection	2001	DBLP DOI BibTeX RDF
1	Tuomas Aura	DOS-Resistant Authentication with Client Puzzles (Transcript of Discussion).	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
1	Raju Pandey, Brant Hashii	Providing Fine-grained Access Control for Java Programs.	ECOOP	1999	DBLP DOI BibTeX RDF
1	William R. Shockley, James P. Downey	Is the Reference Monitor Concept Fatally Flawed? The Case for the Negative.	IEEE Symposium on Security and Privacy	1997	DBLP DOI BibTeX RDF
1	Masakazu Soshi, Mamoru Maekawa	The Saga Security System: A Security Architecture for Open Distributed Systems.	FTDCS	1997	DBLP DOI BibTeX RDF
1	Simon N. Foley, Li Gong, Xiaolei Qian	A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification.	IEEE Symposium on Security and Privacy	1996	DBLP DOI BibTeX RDF
1	Daniel F. Sterne	Panel: Reconsidering the Role fo the Reference Monitor.	CSFW	1994	DBLP BibTeX RDF
1	Gillian Kirkby, Michael Grohn	The Reference Monitor Technique for Security in Data Base Management Systems.	IEEE Database Eng. Bull.	1977	DBLP BibTeX RDF