Search results for "Journal of Computer Security"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Nataliia Bielova, Fabio Massacci	Iterative enforcement by suppression: Towards practical enforcement theories.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi	Quantitative information flow in interactive systems.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Gabriele Costa, Pierpaolo Degano, Fabio Martinelli	Modular plans for secure service composition.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Alessandro Armando, Gavin Lowe	Preface.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Ching Yu Ng, Willy Susilo, Yi Mu, Reihaneh Safavi-Naini	Practical RFID ownership transfer scheme.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Gildas Avoine, Muhammed Ali Bingöl, Süleyman Kardas, Cédric Lauradoux, Benjamin Martin 0002	A framework for analyzing RFID distance bounding protocols.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Anshuman Sinha	A survey of system security in contactless electronic passports.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Paul C. van Oorschot, Julie Thorpe	Exploiting predictability in click-based graphical passwords.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Robert H. Deng, Yingjiu Li, Moti Yung, Yunlei Zhao	A zero-knowledge based framework for RFID privacy.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Dimitris Gritzalis, Giannis F. Marias, Yacine Rebahi, Yannis Soupionis, Sven Ehlert	SPIDER: A platform for managing SIP-based Spam over Internet Telephony (SPIT).	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Heechang Shin, Vijayalakshmi Atluri, June-suh Cho	Efficiently enforcing spatiotemporal access control under uncertain location information.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Heechang Shin, Jaideep Vaidya, Vijayalakshmi Atluri	A profile anonymization model for location-based services.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati	Selective data outsourcing for enforcing privacy.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati	Authorization enforcement in distributed query evaluation.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	David DeAngelis, K. Suzanne Barber	Security applications of trust in multi-agent systems.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Rinku Dewri, Indrajit Ray, Indrakshi Ray, Darrell Whitley	Exploring privacy versus data quality trade-offs in anonymization techniques using multi-objective optimization.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Long Hoang Nguyen, A. W. Roscoe	Authentication protocols based on low-bandwidth unspoofable channels: A comparative survey.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Basel Alomair, Loukas Lazos, Radha Poovendran	Securing low-cost RFID systems: An unconditionally secure approach.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Allaa Kamil, Gavin Lowe	Analysing TLS in the strand spaces model.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Lawrence A. Gordon, Martin P. Loeb, Lei Zhou	The impact of information security breaches: Has there been a downward shift in costs?	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Joachim Biskup, Christian Gogolin, Jens Seiler, Torben Weibert	Inference-proof view update transactions with forwarded refreshments.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Gerhard P. Hancke	Practical eavesdropping and skimming attacks on high-frequency RFID tokens.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Manachai Toahchoodee, Indrakshi Ray	On the formalization and analysis of a spatio-temporal role-based access control model.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Deepak D'Souza, Raveendra Holla, K. R. Raghavendra, Barbara Sprick	Model-checking trace-based information flow properties.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Yingjiu Li, Jianying Zhou	Guest editors' preface.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Jaideep Vaidya, Ehud Gudes	Introduction.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Tzipora Halevi, Nitesh Saxena, Shai Halevi	Tree-based HB protocols for privacy-preserving authentication of RFID tags.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Rishab Nithyanand, Gene Tsudik, Ersin Uzun	User-aided reader revocation in PKI-based RFID systems.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Chao Zhang, Wei Zou, Tielei Wang, Yu Chen, Tao Wei	Using type analysis in compiler to mitigate integer-overflow-to-buffer-overflow threat.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Hirotoshi Yasuoka, Tachio Terauchi	On bounding problems of quantitative information flow.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Xiaoyun He, Haibing Lu, Jaideep Vaidya, Nabil R. Adam	Secure construction and publication of contingency tables from distributed data.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Boris Köpf, David A. Basin	Automatically deriving information-theoretic bounds for adaptive side-channel attacks.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Changyu Dong, Giovanni Russello, Naranker Dulay	Shared and searchable encrypted data for untrusted servers.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Vijay Atluri	Preface.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Dimitris Gritzalis	Guest Editor's Preface.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Simon N. Foley, William M. Fitzgerald	Management of security policy configuration using a Semantic Threat Graph approach.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Konrad Rieck, Philipp Trinius, Carsten Willems, Thorsten Holz	Automatic analysis of malware behavior using machine learning.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Francis Hsu, Hao Chen, Sridhar Machiraju	WebCallerID: Leveraging cellular networks for Web authentication.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Reza Curtmola, Juan A. Garay, Seny Kamara, Rafail Ostrovsky	Searchable symmetric encryption: Improved definitions and efficient constructions.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Mohammad Mannan, Paul C. van Oorschot	Leveraging personal devices for stronger password authentication from untrusted computers.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Stéphanie Delaune, Steve Kremer, Graham Steel	Formal security analysis of PKCS#11 and proprietary extensions.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Mário Campolargo	Foreword.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Arnab Roy 0001, Anupam Datta, Ante Derek, John C. Mitchell	Inductive trace properties for computational security.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Jean Goubault-Larrecq	Finite models for formal security proofs.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Mads Dam, Bart Jacobs 0002, Andreas Lundblad, Frank Piessens	Provably correct inline monitoring for multithreaded Java-like programs.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei	Hierarchies of keys in secure multicast communications.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Dimitrios Lekkas, Dimitris Gritzalis	e-Passports as a means towards a Globally Interoperable Public Key Infrastructure.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Frédéric Besson, Guillaume Dufay, Thomas P. Jensen, David Pichardie	Verifying resource access control on mobile interactive devices.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Louis Salvail, Momtchil Peev, Eleni Diamanti, Romain Alleaume, Norbert Lütkenhaus, Thomas Länger	Security of trusted repeater quantum key distribution networks.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao	Detecting and preventing type flaws at static time.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Serdar Cabuk, Chris I. Dalton, Konrad Eriksson, Dirk Kuhlmann, HariGovind V. Ramasamy, Gianluca Ramunno, Ahmad-Reza Sadeghi, Matthias Schunter, Christian Stüble	Towards automated security policy enforcement in multi-tenant virtual data centers.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	James R. Conrad, Jim Alves-Foss, Sauchi Stephen Lee	Analyzing uncertainty in TG protection graphs with TG/MC.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Michael R. Clarkson, Fred B. Schneider	Hyperproperties.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Adrian Baldwin, Marco Casassa Mont, Yolanta Beres, Simon Shiu	Assurance for federated identity management.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Michael Backes, Dominique Unruh	Computational soundness of symbolic zero-knowledge proofs.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Sebastian Mödersheim, Luca Viganò, David A. Basin	Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Andrei Sabelfeld	Preface.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Samir Saklikar, Subir Saha	Identity Federation for VoIP systems.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Claudio Agostino Ardagna, Jan Camenisch, Markulf Kohlweiss, Ronald Leenes, Gregory Neven, Bart Priem, Pierangela Samarati, Dieter Sommer, Mario Verdicchio	Exploiting cryptography for privacy-enhanced access control: A result of the PRIME Project.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Mathieu Baudet, Bogdan Warinschi, Martín Abadi	Guessing attacks and the computational soundness of static equivalence.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Sardaouna Hamadou, John Mullins	Calibrating the power of schedulers for probabilistic polynomial-time calculus.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Steve Kremer, Laurent Mazaré	Computationally sound analysis of protocols using bilinear pairings.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Matthew Pirretti, Patrick Traynor, Patrick McDaniel, Brent Waters	Secure attribute-based systems.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Sushil Jajodia, Jon Millen	Editorial.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Atsuhiro Goto	Preface.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Chung Ki Li, Guomin Yang, Duncan S. Wong, Xiaotie Deng, Sherman S. M. Chow	An efficient signcryption scheme with key privacy and its extension to ring signcryption.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Daniele Gorla, Catuscia Palamidessi	Preface.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Nenad Jovanovic, Christopher Kruegel, Engin Kirda	Static analysis for detecting taint-style vulnerabilities in web applications.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Pasquale Malacaria	Risk assessment of security threats for looping constructs.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon	SecPAL: Design and semantics of a decentralized authorization language.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Roberto Giacobazzi, Isabella Mastroeni	Adjoining classified and unclassified information by abstract interpretation.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan	Symbolic bisimulation for the applied pi calculus.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	André Bergholz, Jan De Beer, Sebastian Glahn, Marie-Francine Moens, Gerhard Paaß, Siehyun Strobel	New filtering approaches for phishing email.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Jiguo Li, Xinyi Huang, Yi Mu, Willy Susilo, Qianhong Wu	Constructions of certificate-based signature secure against key replacement attacks.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Riccardo Pucella, Fred B. Schneider	Independence from obfuscation: A semantic framework for diversity.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Jan Camenisch, Javier Lopez, Fabio Massacci, Massimo Ciscato, Thomas Skordas	JCS special issue on EU-funded ICT research on Trust and Security.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Savvas Argyropoulos, Dimitrios Tzovaras, Dimosthenis Ioannidis, Ioannis G. Damousis, Michael G. Strintzis, Martin Braun, Serge Boverie	Biometric template protection in multimodal authentication systems based on error correcting codes.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Riccardo Focardi	Editorial.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Massimiliano Pala, Sean W. Smith	Finding the PKI needles in the Internet haystack.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	David W. Chadwick, Sean Anthony, Rune Bjerk	Instant certificate revocation and publication using WebDAV.	Journal of Computer Security	2010	DBLP DOI BibTeX RDF
1	Ana Almeida Matos, Gérard Boudol	On declassification and the non-disclosure policy.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Andrei Sabelfeld, David Sands	Declassification: Dimensions and principles.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Milan Petkovic, Willem Jonker	Preface.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Petros Belsis, Kostas Fragos, Stefanos Gritzalis, Christos Skourlas	Applying effective feature selection techniques with hierarchical mixtures of experts for spam classification.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh	Polynomial runtime in simulatability definitions.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Mila Dalla Preda, Roberto Giacobazzi	Semantics-based code obfuscation by abstract interpretation.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Giovanni Vigna, Fredrik Valeur, Davide Balzarotti, William K. Robertson, Christopher Kruegel, Engin Kirda	Reducing errors in the anomaly-based detection of web-based attacks through the combined analysis of web requests and SQL queries.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Joshua D. Guttman	Introduction.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Alberto Dainotti, Antonio Pescapè, Giorgio Ventre	A cascade architecture for DoS attacks detection based on the wavelet transform.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Haizhi Xu, Steve J. Chapin	Address-space layout randomization using code islands.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Nan Hu, Giri Kumar Tayi, Chengyu Ma, Yingjiu Li	Certificate revocation release policies.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Jaideep Vaidya, Vijayalakshmi Atluri, Qi Guo, Haibing Lu	Edge-RMP: Minimizing administrative assignments for role-based access control.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider	Quantifying information flow with beliefs.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Gilles Guette	Automating trusted key rollover in DNSSEC.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Chao Yao, Lingyu Wang, Xiaoyang Sean Wang, Claudio Bettini, Sushil Jajodia	Evaluating privacy threats in released database views by symmetric indistinguishability.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari	Planning and verifying service composition.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	William L. Harrison, James Hook	Achieving information flow security through monadic control of effects.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Ji-Won Byun, Tiancheng Li, Elisa Bertino, Ninghui Li, Yonglak Sohn	Privacy-preserving incremental data dissemination.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Stefan Böttcher, Rita Hartel	Information disclosure by answers to XPath queries.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF
1	Giampaolo Bella, Peter Y. A. Ryan	Journal of Computer SecuritySpecial Number devoted to the best papers of the Security Track at the 2006 ACM Symposium on Applied Computing.	Journal of Computer Security	2009	DBLP DOI BibTeX RDF

Publications at "Journal of Computer Security"( http://dblp.L3S.de/Venues/Journal_of_Computer_Security )