default search action

combined dblp search
author search
venue search
publication search

ask others

ARSPA-WITS 2009: York, UK

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> 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.