EPTCS 7 - SECCO 2009

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0910-4420
- ask others
Michele Boreale, Steve Kremer (Eds.): Proceedings 7th International Workshop on Security Issues in Concurrency. 2009 EPTCS 7 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0910-4033
- ask others
Han Chen, Pasquale Malacaria: Studying Maximum Information Leakage Using Karush-Kuhn-Tucker Conditions. ... 1-15
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0910-4056
- ask others
Filippo Del Tedesco, David Sands: A User Model for Information Erasure. ... 16-30
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0910-4044
- ask others
Jun Pang, Chenyi Zhang: How to Work with Honest but Curious Judges? (Preliminary Report). ... 31-45
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0910-4342
- ask others
Joshua D. Guttman: Fair Exchange in Strand Spaces. ... 46-60
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0910-4053
- ask others
Qurat ul Ain Nizamani, Emilio Tuosto: Heuristic Methods for Security Protocols. ... 61-75