Search results for "nondeducibility"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
47	Joseph Y. Halpern, Kevin R. O'Neill	Secrecy in Multiagent Systems.	CSFW	2002	DBLP DOI BibTeX RDF
40	Anusha Thudimilla, Bruce M. McMillin	Multiple Security Domain Nondeducibility Air Traffic Surveillance Systems.	HASE	2017	DBLP DOI BibTeX RDF
40	Fred Love, Bruce M. McMillin, Sivanesan Tulasidas, W. Balachandran	WiP Abstract: Multiple Security Domain Nondeducibility for Point-of-Care Diagnostic Technology.	ICCPS	2016	DBLP DOI BibTeX RDF
40	Thoshitha T. Gamage, Bruce M. McMillin	Nondeducibility-Based Analysis of Cyber-Physical Systems.	Critical Infrastructure Protection	2009	DBLP DOI BibTeX RDF
36	Riccardo Focardi	Comparing Two Information Flow Security Properties.	CSFW	1996	DBLP DOI BibTeX RDF	nondeducibility, security checker, software tool, automatic verification, noninterference, multilevel security
23	Sara Miner More, Pavel Naumov	An Independence Relation for Sets of Secrets.	WoLLIC	2009	DBLP DOI BibTeX RDF
23	Sara Miner More, Pavel Naumov	On interdependence of secrets in collaboration networks.	TARK	2009	DBLP DOI BibTeX RDF
23	Joseph Y. Halpern, Kevin R. O'Neill	Secrecy in Multiagent Systems.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	information flow, secrecy
23	Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld	Bridging Language-Based and Process Calculi Security.	FoSSaCS	2005	DBLP DOI BibTeX RDF
23	Ron van der Meyden, Thomas Wilke	Synthesis of Distributed Systems from Knowledge-Based Specifications.	CONCUR	2005	DBLP DOI BibTeX RDF
23	Alessandro Aldini	Probabilistic Information Flow in a Process Algebra.	CONCUR	2001	DBLP DOI BibTeX RDF
23	Jan Jürjens	Secure Information Flow for Concurrent Processes.	CONCUR	2000	DBLP DOI BibTeX RDF

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