For some weeks now, the dblp team has been receiving an exceptionally high number of support and error correction requests from the community. While we are grateful and happy to process all incoming emails, please assume that it will currently take us several weeks to read and address your request. Most importantly, please refrain from sending your request multiple times. This will not advance your issue and will only complicate and extend the time required to address it. Thank you for your understanding.

Joint Declaration: The freedom of science is at the heart of liberal, democratic societies. Without this freedom, it is impossible for scientific efforts to be geared toward gaining knowledge and facts. It is therefore extremely worrying that the scientific freedom is coming under increasing pressure in various regions of the world. (read more)

default search action

combined dblp search
author search
venue search
publication search

ask others

ARSPA-WITS 2009: York, UK

> Home > Conferences and Workshops > ARSPA
> Home > Conferences and Workshops > WITS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/2009wits
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/2009wits
Pierpaolo Degano, Luca Viganò:
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. Lecture Notes in Computer Science 5511, Springer 2009, ISBN 978-3-642-03458-9
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/AdetoyeB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/AdetoyeB09
Adedayo Adetoye, Atta Badii:
A Policy Model for Secure Information Flow. 1-17
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/AldiniB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/AldiniB09
Alessandro Aldini, Marco Bernardo:
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. 18-33
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/ArsacBCC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/ArsacBCC09
Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna:
Validating Security Protocols under the General Attacker. 34-51
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/Bartoletti09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/Bartoletti09
Massimo Bartoletti:
Usage Automata. 52-69
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/BodeiBB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/BodeiBB09
Chiara Bodei, Linda Brodo, Roberto Bruni:
Static Detection of Logic Flaws in Service-Oriented Applications. 70-87
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/BrobergS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/BrobergS09
Niklas Broberg, David Sands:
Improving the Semantics of Imperfect Security. 88-91
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/FroschleS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/FroschleS09
Sibylle B. Fröschle, Graham Steel:
Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data. 92-106
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/Guttman09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/Guttman09
Joshua D. Guttman:
Transformations between Cryptographic Protocols. 107-123
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/Hernandez-ArdietaFR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/Hernandez-ArdietaFR09
Jorge L. Hernandez-Ardieta, Ana Isabel González-Tablas Ferreres, Benjamín Ramos:
Formal Validation of OFEPSP+ with AVISPA. 124-137
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/HutterM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/HutterM09
Dieter Hutter, Raúl Monroy:
On the Automated Correction of Protocols with Improper Message Encoding. 138-154
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/JurjensW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/JurjensW09
Jan Jürjens, Tjark Weber:
Finite Models in FOL-Based Crypto-Protocol Verification. 155-172
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/KeighrenAS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/KeighrenAS09
Gavin Keighren, David Aspinall, Graham Steel:
Towards a Type System for Security APIs. 173-192
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/MazareW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/MazareW09
Laurent Mazaré, Bogdan Warinschi:
Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption. 193-210
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/Ryan09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/Ryan09
Peter Y. A. Ryan:
How Many Election Officials Does It Take to Change an Election? 211-221

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.