|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alessandro Armando, Gavin Lowe (eds.) |
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers  |
ARSPA-WITS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Falcone, Riccardo Focardi |
Formal Analysis of Key Integrity in PKCS#11. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Smyth, Mark Ryan 0001, Steve Kremer, Mounira Kourjieh |
Towards Automatic Analysis of Election Verifiability Properties. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Flaminia L. Luccio |
Secure Upgrade of Hardware Security Modules in Bank Networks. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário Pires, Luís Caires |
A Type System for Access Control Views in Object-Oriented Languages. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Trajce Dimkov, Wolter Pieters, Pieter H. Hartel |
Portunes: Representing Attack Scenarios Spanning through the Physical, Digital and Social Domain. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Costa 0001, Pierpaolo Degano, Fabio Martinelli |
Modular Plans for Secure Service Composition. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Han Gao 0002, Hanne Riis Nielson |
The CaPiTo Approach to Protocol Validation - (Invited Talk). |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Centenaro, Riccardo Focardi |
Match It or Die: Proving Integrity by Equality. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Stefano Calzavara, Damiano Macedonio |
Secrecy and Authenticity Types for Secure Distributed Messaging. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés |
Interactive Information Flow - (Invited Talk). |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron D. Jaggard, Catherine Meadows 0001, Michael W. Mislove, Roberto Segala |
Reasoning about Probabilistic Security Using Task-PIOAs. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Paolo Modesti |
AnBx - Security Protocols Design and Verification. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Luca Viganò 0001 (eds.) |
Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sibylle B. Fröschle, Graham Steel |
Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua D. Guttman |
Transformations between Cryptographic Protocols. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Linda Brodo, Roberto Bruni |
Static Detection of Logic Flaws in Service-Oriented Applications. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti |
Usage Automata. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo 0001 |
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dieter Hutter, Raúl Monroy |
On the Automated Correction of Protocols with Improper Message Encoding. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin Keighren, David Aspinall 0001, Graham Steel |
Towards a Type System for Security APIs. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Mazaré, Bogdan Warinschi |
Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adedayo Adetoye, Atta Badii |
A Policy Model for Secure Information Flow. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna |
Validating Security Protocols under the General Attacker. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens, Tjark Weber |
Finite Models in FOL-Based Crypto-Protocol Verification. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Niklas Broberg, David Sands 0001 |
Improving the Semantics of Imperfect Security. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge L. Hernandez-Ardieta, Ana Isabel González-Tablas Ferreres, Benjamín Ramos |
Formal Validation of OFEPSP+ with AVISPA. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
AVISPA, security protocol, Fair exchange, SPAN, formal validation |
| 1 | Peter Y. A. Ryan |
How Many Election Officials Does It Take to Change an Election? |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license