Journal of Computer Security, Volume 16

Volume 16, Number 1, 2008

• Nan Zhang, Mark Ryan, Dimitar P. Guelev:
  Synthesising verified access control systems through model checking. 1-61
  Electronic Edition (link) BibTeX
• Karl Krukow, Mogens Nielsen, Vladimiro Sassone:
  A logical framework for history-based access control and reputation systems. 63-101
  Electronic Edition (link) BibTeX

Volume 16, Number 2, 2008

• George O. M. Yee, Ali A. Ghorbani, Patrick C. K. Hung:
  Guest Editors' Introduction. 103-106
  Electronic Edition (link) BibTeX
• Jie Zhou, Jim Alves-Foss:
  Security policy refinement and enforcement for the design of multi-level secure systems. 107-131
  Electronic Edition (link) BibTeX
• Marco Casassa Mont, Robert Thyne:
  Privacy policy enforcement in enterprises with identity management solutions. 133-163
  Electronic Edition (link) BibTeX
• Harshit Nayyar, Ali A. Ghorbani:
  Approximate autoregressive modeling for network attack detection. 165-197
  Electronic Edition (link) BibTeX
• Torsten Spindler, Christoph Wartmann, Ludger Hovestadt, Daniel Roth, Luc J. Van Gool, Andreas Steffen:
  Privacy in video surveilled spaces. 199-222
  Electronic Edition (link) BibTeX
• Muhammad Alam, Michael Hafner, Ruth Breu:
  Constraint based role based access control in the SECTET-frameworkA model-driven approach. 223-260
  Electronic Edition (link) BibTeX

Volume 16, Number 3, 2008

• George O. M. Yee, Chunming Rong, Laurence Tianruo Yang:
  Guest Editors' Introduction. 261-264
  Electronic Edition (link) BibTeX
• Adam J. Elbirt:
  Accelerated AES implementations via generalized instruction set extensions. 265-288
  Electronic Edition (link) BibTeX
• Anne V. D. M. Kayem, Selim G. Akl, Patrick Martin:
  On replacing cryptographic keys in hierarchical key management systems. 289-309
  Electronic Edition (link) BibTeX
• Lifu Wang, Partha Dasgupta:
  Coprocessor-based hierarchical trust management for software integrity and digital identity protection. 311-339
  Electronic Edition (link) BibTeX
• Janne Merete Hagen, Tormod Kalberg Sivertsen, Chunming Rong:
  Protection against unauthorized access and computer crime in Norwegian enterprises. 341-366
  Electronic Edition (link) BibTeX

Volume 16, Number 4, 2008

• Ernesto Damiani:
  Guest Editorial. 367-368
  Electronic Edition (link) BibTeX
• Claudio Agostino Ardagna, Marco Cremonini, Sabrina De Capitani di Vimercati, Pierangela Samarati:
  A privacy-aware access control system. 369-397
  Electronic Edition (link) BibTeX
• Michael T. Goodrich, Roberto Tamassia, Danfeng (Daphne) Yao:
  Notarized federated ID management and authentication. 399-418
  Electronic Edition (link) BibTeX
• Lingyu Wang, Chao Yao, Anoop Singhal, Sushil Jajodia:
  Implementing interactive analysis of attack graphs using relational databases. 419-437
  Electronic Edition (link) BibTeX
• Vijayalakshmi Atluri, Heechang Shin, Jaideep Vaidya:
  Efficient security policy enforcement for the mobile environment. 439-475
  Electronic Edition (link) BibTeX
• Joachim Biskup, Lena Wiese:
  Preprocessing for controlled query evaluation with availability policy. 477-494
  Electronic Edition (link) BibTeX