Search Results for Calculus.

Principles of Security and Trust 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Piessens, Frank. editor.

http://dx.doi.org/10.1007/978-3-662-49635-0

Format:

Electronic Resources

Alıntı:

Countable Families -- Computational Soundness Results for Stateful Applied pi Calculus. .

Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Abadi, Martín. editor.

http://dx.doi.org/10.1007/978-3-642-54792-8

Format:

Electronic Resources

Alıntı:

Calculus -- Computational Soundness Results for ProVerif: Bridging the Gap from Trace Properties to

Cryptology and Error Correction An Algebraic Introduction and Real-World Applications

Yazar

Childs, Lindsay N. author.

https://doi.org/10.1007/978-3-030-15453-0

Format:

Electronic Resources

Alıntı:

science, and engineering, the prerequisite includes one or two years of a standard calculus sequence

Information Security and Cryptology – ICISC 2017 20th International Conference, Seoul, South Korea, November 29 - December 1, 2017, Revised Selected Papers

Yazar

Kim, Howon. editor.

https://doi.org/10.1007/978-3-319-78556-1

Format:

Electronic Resources

Alıntı:

calculus -- SIGNATURE AND PROTOCOL -- Two Mutual Authentication Protocols Based on Zero-Knowledge Proofs

Secure IT Systems 19th Nordic Conference, NordSec 2014, Tromsø, Norway, October 15-17, 2014, Proceedings

Yazar

Bernsmed, Karin. editor.

http://dx.doi.org/10.1007/978-3-319-11599-3

Format:

Electronic Resources

Alıntı:

Stateful Protocols: Set-Based Abstractions in the Applied π–Calculus -- Improvement Proposal for the

Selected Areas in Cryptography -- SAC 2013 20th International Conference, Burnaby, BC, Canada, August 14-16, 2013, Revised Selected Papers

Yazar

Lange, Tanja. editor.

http://dx.doi.org/10.1007/978-3-662-43414-7

Format:

Electronic Resources

Alıntı:

Architectures -- A new index calculus algorithm with complexity L(1=4 + o(1)) in small characteristic -- High

Data Privacy Management, Cryptocurrencies and Blockchain Technology ESORICS 2017 International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, Proceedings

Yazar

Garcia-Alfaro, Joaquin. editor.

https://doi.org/10.1007/978-3-319-67816-0

Format:

Electronic Resources

Alıntı:

A Proof Calculus for Attack Trees in Isabelle -- Confidentiality of Interactions in Concurrent

	{displayName}	{count}
{error}