Journal of Computer Security, Volume 15

Volume 15, Number 1, 2007

• Message from the Guest Editors. 1-2
  Electronic Edition (link) BibTeX
• Charikleia Zouridaki, Brian L. Mark, Marek Hejmo, Roshan K. Thomas:
  Hermes: A quantitative trust establishment framework for reliable data packet delivery in MANETs. 3-38
  Electronic Edition (link) BibTeX
• Maxim Raya, Jean-Pierre Hubaux:
  Securing vehicular ad hoc networks. 39-68
  Electronic Edition (link) BibTeX
• Haowen Chan, Adrian Perrig, Bartosz Przydatek, Dawn Xiaodong Song:
  SIA: Secure information aggregation in sensor networks. 69-102
  Electronic Edition (link) BibTeX
• Svetlana Radosavac, Alvaro A. Cárdenas, John S. Baras, George V. Moustakides:
  Detecting IEEE 802.11 MAC layer misbehavior in ad hoc networks: Robust strategies against individual and colluding attackers. 103-128
  Electronic Edition (link) BibTeX
• Shouhuai Xu:
  On the security of group communication schemes. 129-169
  Electronic Edition (link) BibTeX
• Giorgio Zanin, Roberto Di Pietro, Luigi V. Mancini:
  Robust RSA distributed signatures for large-scale long-lived ad hoc networks. 171-196
  Electronic Edition (link) BibTeX

Volume 15, Number 2, 2007

• Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Valeria Vittorini:
  A policy-based methodology for security evaluation: A Security Metric for Public Key Infrastructures. 197-229
  Electronic Edition (link) BibTeX
• Mahesh V. Tripunitara, Ninghui Li:
  A theory for comparing the expressive power of access control models. 231-272
  Electronic Edition (link) BibTeX
• Victor A. Skormin, Alexander Volynkin, Douglas H. Summerville, James Moronski:
  Prevention of information attacks by run-time detection of self-replication in computer codes. 273-302
  Electronic Edition (link) BibTeX

Volume 15, Number 3, 2007

• Stephanie Wehner:
  Analyzing worms and network traffic using compression. 303-320
  Electronic Edition (link) BibTeX
• David Clark, Sebastian Hunt, Pasquale Malacaria:
  A static analysis for quantifying information flow in a simple imperative language. 321-371
  Electronic Edition (link) BibTeX
• Annalisa Bossi, Carla Piazza, Sabina Rossi:
  Compositional information flow security for concurrent programs. 373-416
  Electronic Edition (link) BibTeX

Volume 15, Number 4, 2007

• Lingyu Wang, Yingjiu Li, Sushil Jajodia, Duminda Wijesekera:
  Parity-based inference control for multi-dimensional range sum queries. 417-445
  Electronic Edition (link) BibTeX
• Christian Skalka, Xiaoyang Sean Wang, Peter C. Chapin:
  Risk management for distributed authorization. 447-489
  Electronic Edition (link) BibTeX

Volume 15, Number 5, 2007

• Atsuhiro Goto:
  Preface. 491
  Electronic Edition (link) BibTeX
• Abhilasha Bhargav-Spantzel, Jan Camenisch, Thomas Groß, Dieter Sommer:
  User centricity: A taxonomy and open issues. 493-527
  Electronic Edition (link) BibTeX
• Abhilasha Bhargav-Spantzel, Anna Cinzia Squicciarini, Shimon Modi, Matthew Young, Elisa Bertino, Stephen J. Elliott:
  Privacy preserving multi-factor authentication with biometrics. 529-560
  Electronic Edition (link) BibTeX

Volume 15, Number 6, 2007

• Michael Backes, David A. Basin, Michael Waidner:
  Preface. 561
  Electronic Edition (link) BibTeX
• Michele Bugliesi, Riccardo Focardi, Matteo Maffei:
  Dynamic types for authentication. 563-617
  Electronic Edition (link) BibTeX
• Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader:
  Timed analysis of security protocols. 619-645
  Electronic Edition (link) BibTeX
• Gilles Barthe, Leonor Prensa Nieto:
  Secure information flow for a concurrent language with scheduling. 647-689
  Electronic Edition (link) BibTeX
• Tomás E. Uribe, Steven Cheung:
  Automatic analysis of firewall and network intrusion detection system configurations. 691-715
  Electronic Edition (link) BibTeX