Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
2005 (1) 2006 (1) 2007 (1) 2008 (2)
Publication types (Num. hits)
article(1) inproceedings(4)
Venues (Conferences, Journals, ...)
Critical Infrastructure Protec...(1) Formal Aspects in Security and...(1) ICISS(1) Int. J. Inf. Sec.(1) MobiQuitous(1)
Authors
Jeremy W. Bryans(2) Laurent Mazaré(2) Maciej Koutny(2) Peter Y. A. Ryan(2) Barbara Sprick(1) Bruce M. McMillin(1) Deepak D'Souza(1) Han Tang(1) Janardhan Kulkarni(1) Liviu Iftode(1) Marco Gruteser(1) Nishkam Ravi(1) Raghavendra K. Ramesh(1) Raveendra Holla(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13 occurrences of 9 keywords
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
27Jeremy 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
10Deepak D'Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick On the Decidability of Model-Checking Information Flow Properties. Search on Bibsonomy ICISS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
10Han 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
9Nishkam Ravi, Marco Gruteser, Liviu Iftode Non-Inference: An Information Flow Control Model for Location-based Services. Search on Bibsonomy MobiQuitous The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
5Jeremy 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
Displaying result #1 - #5 of 5 (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