The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Non-deducibility (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1948-2009 (14)
Publication types (Num. hits)
article(3) inproceedings(11)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 25 occurrences of 18 keywords

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