default search action

combined dblp search
author search
venue search
publication search

Journal of Computer Security, Volume 20

> Home > Journals > Journal of Computer Security

Volume 20, Number 1, 2012

- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/ArmandoL12
- ask others
Alessandro Armando, Gavin Lowe:
Preface. 1
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/AlvimAP12
- ask others
Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi:
Quantitative information flow in interactive systems. 3-50
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/BielovaM12
- ask others
Nataliia Bielova, Fabio Massacci:
Iterative enforcement by suppression: Towards practical enforcement theories. 51-79
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/CostaDM12
- ask others
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli:
Modular plans for secure service composition. 81-117

Volume 20, Numbers 2-3, 2012

- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/ZhouF12
- ask others
Hongbin Zhou, Simon N. Foley:
Fast automatic security protocol generation. 119-167
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/StakhanovaSBW12
- ask others
Natalia Stakhanova, Chris Strasburg, Samik Basu, Johnny S. Wong:
Towards cost-sensitive assessment of intrusion response selection. 169-198
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/BowenKPKS12
- ask others
Brian M. Bowen, Vasileios P. Kemerlis, Pratap V. Prabhu, Angelos D. Keromytis, Salvatore J. Stolfo:
A system for generating and injecting indistinguishable network decoys. 199-221
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/AhnJS12
- ask others
Gail-Joon Ahn, Jing Jin, Mohamed Shehab:
Policy-driven role-based access management for ad-hoc collaboration. 223-257
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/BlantonA12
- ask others
Marina Blanton, Mehrdad Aliasgari:
Secure outsourced computation of iris matching. 259-305

Volume 20, Number 4, 2012

- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/BartheCLP12
- ask others
Gilles Barthe, Jorge Cuéllar, Javier Lopez, Alexander Pretschner:
Preface. 307-308
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/ArmandoR12
- ask others
Alessandro Armando, Silvio Ranise:
Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving. 309-352
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/GargP12
- ask others
Deepak Garg, Frank Pfenning:
Stateful authorization logic - Proof theory and a case study. 353-391
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/BezziVFLSS12
- ask others
Michele Bezzi, Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati, Roberto Sassi:
Modeling and preventing inferences from sensitive value distributions in data release. 393-436
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/SunZPAM12
- ask others
Yanjie Sun, Chenyi Zhang, Jun Pang, Baptiste Alcalde, Sjouke Mauw:
A trust-augmented voting scheme for collaborative privacy management. 437-459

Volume 20, Number 5, 2012

- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/Li12
- ask others
Yingjiu Li:
Guest Editor's Preface. 461-462
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/CirianiVFLS12
- ask others
Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati:
An OBDD approach to enforce confidentiality and visibility constraints in data publishing. 463-508
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/Biskup12
- ask others
Joachim Biskup:
Dynamic policy adaptation for inference control of queries to a propositional information system. 509-546
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/AdaikkalavanXR12
- ask others
Raman Adaikkalavan, Xing Xie, Indrakshi Ray:
Multilevel secure data stream processing: Architecture and implementation. 547-581
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/HongVL12
- ask others
Yuan Hong, Jaideep Vaidya, Haibing Lu:
Secure and efficient distributed linear programming. 583-634

Volume 20, Number 6, 2012

- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/MyersB12
- ask others
Andrew Myers, Michael Backes:
Preface. 635-636
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/Chong12
- ask others
Stephen Chong:
Required information release. 637-676
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/Becker12
- ask others
Moritz Y. Becker:
Information flow in trust management systems. 677-708
- view
  - electronic edition via DOI
- export record as
  dblp key:
  - journals/jcs/KustersT012
- ask others
Ralf Küsters, Tomasz Truderung, Andreas Vogt:
A game-based definition of coercion resistance and its applications. 709-764