Search results for "non-deducibility"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
61	Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan	Opacity Generalised to Transition Systems.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF	non-deducibility, non-inference, observable behaviour, Petri nets, anonymity, labelled transition systems, opacity
42	Riccardo Focardi	Comparing Two Information Flow Security Properties.	CSFW	1996	DBLP DOI BibTeX RDF	nondeducibility, security checker, software tool, automatic verification, noninterference, multilevel security
38	Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan	Opacity generalised to transition systems.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Non-deducibility, Observable behaviour, Petri nets, Anonymity, Abstract interpretation, Labelled transition systems, Opacity
38	Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan	Modelling Dynamic Opacity Using Petri Nets with Silent Actions.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	non-deducibility, observable behaviour, silent actions, Petri nets, anonymity, opacity
34	P. G. Allen	A Comparison of non-Interference and Non-Deducibility using CSP.	CSFW	1991	DBLP DOI BibTeX RDF
31	Francesco Ciraulo	A constructive semantics for non-deducibility.	Math. Log. Q.	2008	DBLP DOI BibTeX RDF
31	Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli	Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability.	MEFISTO	2003	DBLP DOI BibTeX RDF
31	Andrzej Mostowski	Proofs of Non-Deducibility in Intuitionistic Functional Calculus.	J. Symb. Log.	1948	DBLP DOI BibTeX RDF
22	Han Tang, Bruce M. McMillin	Security of Information Flow in the Electric Power Grid.	Critical Infrastructure Protection	2007	DBLP DOI BibTeX RDF	information flow, confidentiality, power grid, Cyber-physical systems
22	Carla Piazza, Enrico Pivato, Sabina Rossi	CoPS - Checker of Persistent Security.	TACAS	2004	DBLP DOI BibTeX RDF
22	Frédéric Cuppens, Gilles Trouessin	Information Flow Controls vs Interference Controls: An Integrated Approach.	ESORICS	1994	DBLP DOI BibTeX RDF	Modal logic, Security model, Database security, Information flow control, Inference control
20	Ravi Akella, Bruce M. McMillin	Model-Checking BNDC Properties in Cyber-Physical Systems.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
20	Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli	Classification of Security Properties - Part II: Network Security.	FOSAD	2002	DBLP DOI BibTeX RDF
20	Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli	Non Interference for the Analysis of Cryptographic Protocols.	ICALP	2000	DBLP DOI BibTeX RDF