• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 26 matches

• 2015
• 
  Abdullah Ali Alshehri, Steve A. Schneider:
  A formal framework for security analysis of NFC mobile coupon protocols. J. Comput. Secur. 23(6): 685-707 (2015)
• 
  Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi:
  On the information leakage of differentially-private mechanisms. J. Comput. Secur. 23(4): 427-469 (2015)
• 
  Adam Bates, Kevin R. B. Butler, Micah Sherr, Clay Shields, Patrick Traynor, Dan S. Wallach:
  Accountable wiretapping - or - I know they can hear you now. J. Comput. Secur. 23(2): 167-195 (2015)
• 
  Sergey Victorovich Belim, Nadezda F. Bogachenko, Evgeniy Ilushechkin:
  An analysis of graphs that represent a role-based security policy hierarchy. J. Comput. Secur. 23(5): 641-657 (2015)
• 
  Giampaolo Bella, Paul Curzon, Gabriele Lenzini:
  Service security and privacy as a socio-technical problem. J. Comput. Secur. 23(5): 563-585 (2015)
• 
  Piero A. Bonatti, Clemente Galdi, Davide Torres:
  Event-driven RBAC. J. Comput. Secur. 23(6): 709-757 (2015)
• 
  Bechara al Bouna, Chris Clifton, Qutaibah M. Malluhi:
  Anonymizing transactional datasets. J. Comput. Secur. 23(1): 89-106 (2015)
• 
  Ioana Boureanu, Aikaterini Mitrokotsa, Serge Vaudenay:
  Practical and provably secure distance-bounding. J. Comput. Secur. 23(2): 229-257 (2015)
• 
  Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan:
  CookiExt: Patching the browser against session hijacking attacks. J. Comput. Secur. 23(4): 509-537 (2015)
• 
  David Cadé, Bruno Blanchet:
  Proved generation of implementations from computationally secure protocol specifications. J. Comput. Secur. 23(3): 331-402 (2015)
• 
  Christos Dimitrakakis, Aikaterini Mitrokotsa, Serge Vaudenay:
  Expected loss analysis for authentication in constrained channels. J. Comput. Secur. 23(3): 309-329 (2015)
• 
  Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade:
  Brandt's fully private auction protocol revisited. J. Comput. Secur. 23(5): 587-610 (2015)
• 
  Thomas Gibson-Robinson, Allaa Kamil, Gavin Lowe:
  Verifying layered security protocols. J. Comput. Secur. 23(3): 259-307 (2015)
• 
  Jin Li, Xiaofeng Chen, Jingwei Li, Chunfu Jia, Jianfeng Ma, Wenjing Lou:
  New access control systems based on outsourced attribute-based encryption. J. Comput. Secur. 23(6): 659-683 (2015)
• 
  Wen Ming Liu, Lingyu Wang, Lei Zhang, Shunzhi Zhu:
  k-jump: A strategy to design publicly-known algorithms for privacy preserving micro-data disclosure. J. Comput. Secur. 23(2): 131-165 (2015)
• 
  Jason Lowden, Marcin Lukowiak, Sonia Lopez Alarcon:
  Design and performance analysis of efficient Keccak tree hashing on GPU architectures. J. Comput. Secur. 23(5): 541-562 (2015)
• 
  Haibing Lu, Yuan Hong, Yanjiang Yang, Lian Duan, Nazia Badar:
  Towards user-oriented RBAC model. J. Comput. Secur. 23(1): 107-129 (2015)
• 
  Yannis Mallios, Lujo Bauer, Dilsun Kirli Kaynar, Fabio Martinelli, Charles Morisset:
  Probabilistic cost enforcement of security policies. J. Comput. Secur. 23(6): 759-787 (2015)
• 
  Alessio Merlo, Mauro Migliardi, Paolo Fontanelli:
  Measuring and estimating power consumption in Android to support energy-based intrusion detection. J. Comput. Secur. 23(5): 611-637 (2015)
• 
  Ron van der Meyden:
  What, indeed, is intransitive noninterference? J. Comput. Secur. 23(2): 197-228 (2015)
• 
  Barsha Mitra, Shamik Sural, Vijayalakshmi Atluri, Jaideep Vaidya:
  The generalized temporal role mining problem. J. Comput. Secur. 23(1): 31-58 (2015)
• 
  Shiuan-Tzuo Shen, Wen-Guey Tzeng:
  Delegated integrity check for hierarchical cloud data. J. Comput. Secur. 23(4): 471-508 (2015)
• 
  Luca Spalazzi, Luca Viganò:
  Special issue on security and high performance computing systems. J. Comput. Secur. 23(5): 539-540 (2015)
• 
  Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Giovanni Livraga, Stefano Paraboschi, Pierangela Samarati:
  Loose associations to increase utility in data publishing. J. Comput. Secur. 23(1): 59-88 (2015)
• 
  Ping Yang, Mikhail I. Gofman, Scott D. Stoller, Zijiang Yang:
  Policy analysis for administrative role based access control without separate administration. J. Comput. Secur. 23(1): 1-29 (2015)
• 
  Jiawei Yuan, Shucheng Yu:
  PCPOR: Public and constant-cost proofs of retrievability in cloud. J. Comput. Secur. 23(3): 403-425 (2015)