default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Computer Security, Volume 13

> Home > Journals > Journal of Computer Security

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 13, Number 1, 2005

WITS'03

- view
  authority control:
- export record
  dblp key:
  - journals/jcs/BistarelliCLM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/BistarelliCLM05
Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli:
Relating multiset rewriting and process algebras for security protocol analysis. 3-47
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/BodeiDP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/BodeiDP05
Chiara Bodei, Pierpaolo Degano, Corrado Priami:
Checking security policies through an enhanced Control Flow Analysis. 49-85
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/BugliesiR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/BugliesiR05
Michele Bugliesi, Sabina Rossi:
Non-interference proof techniques for the analysis of cryptographic protocols. 87-113
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/GuttmanHRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/GuttmanHRS05
Joshua D. Guttman, Amy L. Herzog, John D. Ramsdell, Clement W. Skorupka:
Verifying information flow goals in Security-Enhanced Linux. 115-134
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/RamanujamS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/RamanujamS05
Ramaswamy Ramanujam, S. P. Suresh:
Decidability of context-explicit security protocols. 135-165
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/ShmatikovT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/ShmatikovT05
Vitaly Shmatikov, Carolyn L. Talcott:
Reputation-based trust management. 167-190

Volume 13, Number 2, 2005

- view
  authority control:
- export record
  dblp key:
  - journals/jcs/BertinoFM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/BertinoFM05
Elisa Bertino, Elena Ferrari, Giovanni Mella:
An approach to cooperative updates of XML documents in distributed systems. 191-242
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/Zuquete05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/Zuquete05
Andre Zuquete:
An efficient high quality random number generator for multi-programmed systems. 243-263
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/CervesatoDL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/CervesatoDL05
Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln:
A comparison between strand spaces and multiset rewriting for security protocol analysis. 265-316
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/HeatherS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/HeatherS05
James Heather, Steve A. Schneider:
A decision procedure for the existence of a rank function. 317-344

Volume 13, Number 3, 2005

CSFW16

- view
  authority control:
- export record
  dblp key:
  - journals/jcs/Focardi05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/Focardi05
Riccardo Focardi:
Guest editor's preface. 345-
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/BodeiBDNN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/BodeiBDNN05
Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson:
Static validation of security protocols. 347-390
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/BossiMPR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/BossiMPR05
Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi:
Information flow in secure contexts. 391-422
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/DattaDMP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/DattaDMP05
Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic:
A derivation system and compositional logic for security protocols. 423-482
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/HalpernO05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/HalpernO05
Joseph Y. Halpern, Kevin R. O'Neill:
Anonymity and information hiding in multiagent systems. 483-512
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/MillenS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/MillenS05
Jonathan K. Millen, Vitaly Shmatikov:
Symbolic protocol analysis with an Abelian group operator or Diffie-Hellman exponentiation. 515-564
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/Warinschi05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/Warinschi05
Bogdan Warinschi:
A computational analysis of the Needham-Schroeder-(Lowe) protocol. 565-591

Volume 13, Number 4, 2005

- view
  authority control:
- export record
  dblp key:
  - journals/jcs/VaidyaC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/VaidyaC05
Jaideep Vaidya, Chris Clifton:
Secure set intersection cardinality with application to association rule mining. 593-622
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/YuLZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/YuLZ05
Meng Yu, Peng Liu, Wanyu Zang:
Specifying and using intrusion masking models to process distributed operations. 623-658
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/StolfoAEHHHS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/StolfoAEHHHS05
Salvatore J. Stolfo, Frank Apap, Eleazar Eskin, Katherine A. Heller, Shlomo Hershkop, Andrew Honig, Krysta M. Svore:
A comparative evaluation of two algorithms for Windows Registry Anomaly Detection. 659-693

Erratum

- view
  authority control:
- export record
  dblp key:
  - journals/jcs/MillenS05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/MillenS05a
Jonathan K. Millen, Vitaly Shmatikov:
Symbolic protocol analysis with an Abelian group operator or Diffie-Hellman exponentiation. 695-

Volume 13, Number 5, 2005

Security Track at ACM Symposium on Applied Computing 2004

- view
  authority control:
- export record
  dblp key:
  - journals/jcs/BellaR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/BellaR05
Giampaolo Bella, Peter Y. A. Ryan:
Guest Editors' preface. 697-
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/BistarelliFO05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/BistarelliFO05
Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan:
A soft constraint-based approach to the cascade vulnerability problem. 699-720
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/CollbergS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/CollbergS05
Christian S. Collberg, Tapas Ranjan Sahoo:
Software watermarking in the frequency domain: Implementation, analysis, and attacks. 721-755
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/NenadicZS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/NenadicZS05
Aleksandra Nenadic, Ning Zhang, Qi Shi:
RSA-based Verifiable and Recoverable Encryption of Signatures and its application in certified e-mail delivery. 757-777
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/SiaterlisM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/SiaterlisM05
Christos Siaterlis, Vasilis Maglaris:
One step ahead to multisensor data fusion for DDoS detection. 779-806

Volume 13, Number 6, 2005

- view
  authority control:
- export record
  dblp key:
  - journals/jcs/Molsa05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/Molsa05
Jarmo Mölsä:
Mitigating denial of service attacks: A tutorial. 807-837
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/SherwoodBS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/SherwoodBS05
Rob Sherwood, Bobby Bhattacharjee, Aravind Srinivasan:
P⁵: A protocol for scalable anonymous communication. 839-876
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/PescapeV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/PescapeV05
Antonio Pescapè, Giorgio Ventre:
Experimental analysis of attacks against intradomain routing protocols. 877-903

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.