Search results for "Journal of Computer Security"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Véronique Cortier, Ben Smyth	Attacking and fixing Helios: An analysis of ballot secrecy.	Journal of Computer Security	2013	DBLP DOI BibTeX RDF
1	Vladimir Kolesnikov, Ahmad-Reza Sadeghi, Thomas Schneider 0003	A systematic approach to practically efficient general two-party secure function evaluation protocols and their modular design.	Journal of Computer Security	2013	DBLP DOI BibTeX RDF
1	Frédéric Cuppens, Nora Cuppens-Boulahia, Yehia Elrakaiby	Formal specification and management of security policies with collective group obligations.	Journal of Computer Security	2013	DBLP DOI BibTeX RDF
1	Simon Meier, Cas Cremers, David A. Basin	Efficient construction of machine-checked symbolic protocol security proofs.	Journal of Computer Security	2013	DBLP DOI BibTeX RDF
1	Dhananjay S. Phatak, Alan T. Sherman, Nikhil Joshi, Bhushan Sonawane, Vivek G. Relan, Amol Dawalbhakta	Spread Identity: A new dynamic address remapping mechanism for anonymity and DDoS defense.	Journal of Computer Security	2013	DBLP DOI BibTeX RDF
1	Arturo Geigel	Neural network Trojan.	Journal of Computer Security	2013	DBLP DOI BibTeX RDF
1	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.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Yuan Hong, Jaideep Vaidya, Haibing Lu	Secure and efficient distributed linear programming.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Natalia Stakhanova, Chris Strasburg, Samik Basu, Johnny S. Wong	Towards cost-sensitive assessment of intrusion response selection.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Nataliia Bielova, Fabio Massacci	Iterative enforcement by suppression: Towards practical enforcement theories.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Ralf Küsters, Tomasz Truderung, Andreas Vogt 0001	A game-based definition of coercion resistance and its applications.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Brian M. Bowen, Vasileios P. Kemerlis, Pratap V. Prabhu, Angelos D. Keromytis, Salvatore J. Stolfo	A system for generating and injecting indistinguishable network decoys.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	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.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Andrew Myers, Michael Backes	Preface.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Joachim Biskup	Dynamic policy adaptation for inference control of queries to a propositional information system.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Moritz Y. Becker	Information flow in trust management systems.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Deepak Garg, Frank Pfenning	Stateful authorization logic - Proof theory and a case study.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Yingjiu Li	Guest Editor's Preface.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Alessandro Armando, Silvio Ranise	Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Stephen Chong	Required information release.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Hongbin Zhou, Simon N. Foley	Fast automatic security protocol generation.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Raman Adaikkalavan, Xing Xie, Indrakshi Ray	Multilevel secure data stream processing: Architecture and implementation.	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	Gilles Barthe, Jorge Cuéllar, Javier Lopez, Alexander Pretschner	Preface.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Yanjie Sun, Chenyi Zhang, Jun Pang, Baptiste Alcalde, Sjouke Mauw	A trust-augmented voting scheme for collaborative privacy management.	Journal of Computer Security	2012	DBLP DOI BibTeX RDF
1	Gail-Joon Ahn, Jing Jin, Mohamed Shehab	Policy-driven role-based access management for ad-hoc collaboration.	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	Marina Blanton, Mehrdad Aliasgari	Secure outsourced computation of iris matching.	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

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