default search action

combined dblp search
author search
venue search
publication search

ask others

ARSPA-WITS 2010: Paphos, Cyprus

> 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/2010wits
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/2010wits
Alessandro Armando, Gavin Lowe:
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. Lecture Notes in Computer Science 6186, Springer 2011, ISBN 978-3-642-16073-8
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/NielsonGN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/NielsonGN10
Flemming Nielson, Han Gao, Hanne Riis Nielson:
The CaPiTo Approach to Protocol Validation - (Invited Talk). 1
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/JaggardMMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/JaggardMMS10
Aaron D. Jaggard, Catherine Meadows, Michael W. Mislove, Roberto Segala:
Reasoning about Probabilistic Security Using Task-PIOAs. 2-22
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/BugliesiCM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/BugliesiCM10
Michele Bugliesi, Stefano Calzavara, Damiano Macedonio:
Secrecy and Authenticity Types for Secure Distributed Messaging. 23-40
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/CostaDM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/CostaDM10
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli:
Modular Plans for Secure Service Composition. 41-58
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/PiresC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/PiresC10
Mário Pires, Luís Caires:
A Type System for Access Control Views in Object-Oriented Languages. 59-76
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/FalconeF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/FalconeF10
Andrea Falcone, Riccardo Focardi:
Formal Analysis of Key Integrity in PKCS#11. 77-94
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/FocardiL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/FocardiL10
Riccardo Focardi, Flaminia L. Luccio:
Secure Upgrade of Hardware Security Modules in Bank Networks. 95-110
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/PalamidessiAA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/PalamidessiAA10
Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés:
Interactive Information Flow - (Invited Talk). 111
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/DimkovPH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/DimkovPH10
Trajce Dimkov, Wolter Pieters, Pieter H. Hartel:
Portunes: Representing Attack Scenarios Spanning through the Physical, Digital and Social Domain. 112-129
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/CentenaroF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/CentenaroF10
Matteo Centenaro, Riccardo Focardi:
Match It or Die: Proving Integrity by Equality. 130-145
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/SmythRKK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/SmythRKK10
Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh:
Towards Automatic Analysis of Election Verifiability Properties. 146-163
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/BugliesiM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/BugliesiM10
Michele Bugliesi, Paolo Modesti:
AnBx - Security Protocols Design and Verification. 164-184

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.