Search results for "security type systems"

Searching for phrase security type systems (changed automatically) with no syntactic query expansion in all metadata.

Found 6 publication records. Showing 6 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Andrei Sabelfeld, Andrew C. Myers	A Model for Delimited Information Release.	ISSS	2003	DBLP DOI BibTeX RDF	Computer security, information flow, security policies, confidentiality, noninterference, declassification, security-type systems
1	Juan Chen, Ravi Chugh, Nikhil Swamy	Type-preserving compilation of end-to-end verification of security enforcement.	PLDI	2010	DBLP DOI BibTeX RDF	bytecode languages, compilers, authorization, functional programming, information flow, dependent types, security type systems, mobile code security
1	Li Jiang, Lingdi Ping, Xuezeng Pan	Handling Dynamic Information Release.	ICISC	2007	DBLP DOI BibTeX RDF	languages, Computer security, information flow, security-type systems
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	Gilles Barthe, Amitabh Basu, Tamara Rezk	Security Types Preserving Compilation: (Extended Abstract).	VMCAI	2004	DBLP DOI BibTeX RDF
1	Andrei Sabelfeld, David Sands	Probabilistic Noninterference for Multi-Threaded Programs. (PDF / PS)	CSFW	2000	DBLP DOI BibTeX RDF	probabilistic bisimulation, probabilistic scheduling, probabilistic covert channels, hook-up, type-system-based analysis, semantics, confidentiality, noninterference

Displaying result #1 - #6 of 6 (100 per page; Change: )

Maintained by Jörg Diederich.

Based upon DBLP by Michael Ley.