|
Results
Found 2 publication records. Showing 2 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sardaouna Hamadou, Vladimiro Sassone, Catuscia Palamidessi |
Reconciling Belief and Vulnerability in Information Flow.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
quantitative and probabilistic models, Security, uncertainty, information flow, accuracy, information hiding, vulnerability, belief, data confidentiality |
| 1 | Michael Huth |
Possibilistic and Probabilistic Abstraction-Based Model Checking.  |
PAPM-PROBMIV  |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #2 of 2 (100 per page; Change: )
|