Search results for "Integrity policies"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Alessandro Fantechi, Stefania Gnesi, Laura Semini	Achieving Fault Tolerance by a Formally Validated Interaction Policy.	RODIN Book	2006	DBLP DOI BibTeX RDF	Integrity policies, fault tolerance, model checking, process algebras
2	Stefano Bistarelli, Simon N. Foley	Analysis of Integrity Policies using Soft Constraints.	POLICY	2003	DBLP DOI BibTeX RDF
1	Mike Ter Louw, Karthik Thotta Ganesh, V. N. Venkatakrishnan	AdJail: Practical Enforcement of Confidentiality and Integrity Policies on Web Advertisements.	USENIX Security Symposium	2010	DBLP BibTeX RDF
1	Charles Riedesel, Eric D. Manley, Susan Poser, Jitender S. Deogun	A model academic ethics and integrity policy for computer science departments.	SIGCSE	2009	DBLP DOI BibTeX RDF	codes of conduct, integrity, policies, ethics
1	Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers	Fabric: a platform for secure distributed computation and storage.	SOSP	2009	DBLP DOI BibTeX RDF	security, distributed systems, transactions, information flow
1	Cédric Fournet, Tamara Rezk	Cryptographically sound implementations for typed information-flow security.	POPL	2008	DBLP DOI BibTeX RDF	probabilistic programs, cryptography, compilers, integrity, type systems, computational model, confidentiality, non-interference, secure information flow
1	Adam J. Lee, Kazuhiro Minami, Marianne Winslett	Lightweight cnsistency enforcement schemes for distributed proofs with hidden subtrees.	SACMAT	2007	DBLP DOI BibTeX RDF	distributed proving, pervasive computing, consistency
1	Stephen Tse, Steve Zdancewic	Run-time principals in information-flow type systems.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Decentralized label model, dynamic principals, run-time principals, security-typed language, type systems, information-flow, soundness, noninterference
1	Jeffrey A. Vaughan, Steve Zdancewic	A Cryptographic Decentralized Label Model.	IEEE Symposium on Security and Privacy	2007	DBLP DOI BibTeX RDF
1	Zhao-Li Zhang, Fan Hong, Hai-Jun Xiao	Verification of Strict Integrity Policy via Petri Nets.	ICSNC	2006	DBLP DOI BibTeX RDF
1	Gilles Barthe, Tamara Rezk, David A. Naumann	Deriving an Information Flow Checker and Certifying Compiler for Java.	IEEE Symposium on Security and Privacy	2006	DBLP DOI BibTeX RDF
1	Peng Li, Steve Zdancewic	Practical Information-flow Control in Web-Based Information Systems.	CSFW	2005	DBLP DOI BibTeX RDF
1	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
1	Stephen Tse, Steve Zdancewic	Run-time Principals in Information-flow Type Systems.	IEEE Symposium on Security and Privacy	2004	DBLP DOI BibTeX RDF
1	Stefano Bistarelli, Simon N. Foley	A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers	Secure program partitioning.	ACM Trans. Comput. Syst.	2002	DBLP DOI BibTeX RDF	mutual distrust, distributed systems, integrity, type systems, security policies, Confidentiality, secrecy, declassification, downgrading
1	Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers	Untrusted Hosts and Confidentiality: Secure Program Partitioning.	SOSP	2001	DBLP DOI BibTeX RDF
1	Steve Zdancewic, Andrew C. Myers	Secure Information Flow and CPS.	ESOP	2001	DBLP DOI BibTeX RDF
1	Cynthia E. Irvine, Timothy E. Levin	Is Electronic Privacy Achievable? (PDF / PS)	IEEE Symposium on Security and Privacy	2000	DBLP DOI BibTeX RDF
1	Donald E. Brown, Louise E. Gunderson, Marc H. Evans	Interactive Analysis of Computer Crimes.	IEEE Computer	2000	DBLP DOI BibTeX RDF
1	Jay J. Wylie, Michael W. Bigrigg, John D. Strunk, Gregory R. Ganger, Han Kiliççöte, Pradeep K. Khosla	Survivable Information Storage Systems.	IEEE Computer	2000	DBLP DOI BibTeX RDF
1	Paloma Díaz, Ignacio Aedo, Fivos Panetsos	Definition of Integrity Policies For Web-based Applications.	IICIS	1999	DBLP BibTeX RDF
1	Frédéric Cuppens, Claire Saurel	A Logical Formalization of Integrity Policies for Database Management Systems.	IICIS	1998	DBLP BibTeX RDF
1	Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden	A Logic for Reasoning About Security.	ACM Trans. Comput. Syst.	1992	DBLP DOI BibTeX RDF	composition knowledge, security, integrity, policy, time, logic, secrecy, permission, obligation, possible-worlds
1	Lee Badger	A Model for Specifying Multi-Granularity Integrity Policies.	IEEE Symposium on Security and Privacy	1989	DBLP BibTeX RDF