Science of Computer Programming, Volume 74

Volume 74, Numbers 1-2, December 2008

• Fabio Massacci, Frank Piessens, Sjouke Mauw:
  Preface. 1
  Electronic Edition (link) BibTeX
• Irem Aktug, Katsiaryna Naliuka:
  ConSpec - A formal language for policy specification. 2-12
  Electronic Edition (link) BibTeX
• Dries Schellekens, Brecht Wyseur, Bart Preneel:
  Remote attestation on legacy operating systems with trusted platform modules. 13-22
  Electronic Edition (link) BibTeX
• Giuseppe Bianchi, M. Bonola, Vincenzo Falletta, F. S. Proto, Simone Teofili:
  The SPARTA pseudonym and authorization system. 23-33
  Electronic Edition (link) BibTeX
• Atle Refsdal, Ketil Stølen:
  Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis. 34-42
  Electronic Edition (link) BibTeX
• Julien Bringer, Hervé Chabanne, Bruno Kindarji:
  The best of both worlds: Applying secure sketches to cancelable biometrics. 43-51
  Electronic Edition (link) BibTeX
• Jerry den Hartog:
  Towards mechanized correctness proofs for cryptographic algorithms: Axiomatization of a probabilistic Hoare style logic. 52-63
  Electronic Edition (link) BibTeX

Volume 74, Number 3, January 2009

• Rik Eshuis:
  Reconciling statechart semantics. 65-99
  Electronic Edition (link) BibTeX
• Hubert Garavel, Gwen Salaün, Wendelin Serwe:
  On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP. 100-127
  Electronic Edition (link) BibTeX
• Derrick G. Kourie, Sergei A. Obiedkov, Bruce W. Watson, Dean van der Merwe:
  An incremental algorithm to construct a lattice of set intersections. 128-142
  Electronic Edition (link) BibTeX
• Robert Colvin, Brijesh Dongol:
  A general technique for proving lock-freedom. 143-165
  Electronic Edition (link) BibTeX