Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan |
Opacity Generalised to Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, pp. 81-95, 2005, Springer, 3-540-32628-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
non-deducibility, non-inference, observable behaviour, Petri nets, anonymity, labelled transition systems, opacity |
10 | Deepak D'Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick |
On the Decidability of Model-Checking Information Flow Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISS ![In: Information Systems Security, 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings, pp. 26-40, 2008, Springer, 978-3-540-89861-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Han Tang, Bruce M. McMillin |
Security of Information Flow in the Electric Power Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection, Post-Proceedings of the First Annual IFIP Working Group 11.10 International Conference on Critical Infrastructure Protection, Dartmouth College, Hanover, New Hampshire, USA, March 19-21, 2007, pp. 43-56, 2007, Springer, 978-0-387-75461-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
information flow, confidentiality, power grid, Cyber-physical systems |
9 | Nishkam Ravi, Marco Gruteser, Liviu Iftode |
Non-Inference: An Information Flow Control Model for Location-based Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiQuitous ![In: 3rd Annual International ICST Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2006, San Jose, California, USA, July 17-21, 2006, pp. 1-10, 2006, IEEE Computer Society, 1-4244-0498-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
5 | Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan |
Opacity generalised to transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 7(6), pp. 421-435, 2008. The full citation details ...](Pics/full.jpeg) |
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: )
|