You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (43)

Journals (0)

1-10 of 43 results for Symbolic security models

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Symbolic universal composability

Retricted access

Research article

First published 2016-3-1

Symbolic universal composability

Florian Böhl, Dominique Unruh

Journal of Computer Security

Select article: A method for unbounded verification of privacy-type properties

Retricted access

Research article

First published 2019-6-10

A method for unbounded verification of privacy-type properties

Lucca Hirschi, David Baelde, Stéphanie Delaune

Journal of Computer Security

Select article: Guiding a general-purpose C verifier to prove cryptographic protocols

Retricted access

Research article

First published 2014-7-11

Guiding a general-purpose C verifier to prove cryptographic protocols

François Dupressoir, Andrew D. Gordon, Jan Jürjens [...]

Journal of Computer Security

Select article: Computational soundness of symbolic zero-knowledge proofs *

Retricted access

Research article

First published 2010-9-20

Computational soundness of symbolic zero-knowledge proofs *

Michael Backes, Dominique Unruh

Journal of Computer Security

Select article: Computationally sound analysis of protocols using bilinear pairings

Retricted access

Research article

First published 2010-9-20

Computationally sound analysis of protocols using bilinear pairings

Steve Kremer, Laurent Mazaré

Journal of Computer Security

Select article: Configuring Security and Justice

Retricted access

Research article

First published 2005-10

Configuring Security and Justice

Jean-Paul Brodeur, Clifford Shearing

European Journal of Criminology

Select article: Examining Consumer Intentions to Use Wearable Technologies in Tourism: Effects of Socio-Symbolic Drivers,Technology Use,and Security

Retricted access

Research article

First published 2025-6

Examining Consumer Intentions to Use Wearable Technologies in Tourism: Effects of Socio-Symbolic Drivers,Technology Use,and Security

Bruna Guebel, Verônica Feder Mayer, Mariana Brandão Cavalheiro [...]

Journal of Smart Tourism

Select article: An interpolation-based method for the verification of security protocols

Retricted access

Research article

First published 2017-8-24

An interpolation-based method for the verification of security protocols

Marco Rocchetto, Luca Viganò, Marco Volpe

Journal of Computer Security

Select article: Signifying Improvement: Reform Symbols as Discursive Practice in School Improvement Plans

Retricted access

Research article

First published 2025-12

Signifying Improvement: Reform Symbols as Discursive Practice in School Improvement Plans

Madhu Narayanan, Matthew S. McCluskey

Educational Administration Quarterly

Select article: Life,Pocketbook,or Culture

Retricted access

Research article

First published 2008-03

Life,Pocketbook,or Culture

Daphna Canetti-Nisim, Gal Ariely, Eran Halperin

Political Research Quarterly

1
2
3
4
5
10 / page

Article type

Publication date

Subjects

Access