Abstract
So my talk today is “Redesigning Secure Protocols to Compel Security Checks”. To set up the problem: a lot of secure protocols require certain checks to be performed. You write up the protocol, that’s perhaps your fiction And then later we have an implementation, that’s fact, one way or the other. And there are certain checks that are supposed to be in these protocols.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Fahl, S., Harbach, M., Muders, T., Baumgärtner, L., Freisleben, B., Smith,M.: Why eve and mallory love android: an analysis of android ssl (in)security. In: Proceedings of the 2012 ACM Conference on Computer and Communications Security, CCS 2012, pp. 50–61. ACM, New York (2012)
Georgiev, M., Iyengar, S., Jana, S., Anubhai, R., Boneh, D., Shmatikov, V.: The most dangerous code in the world: validating ssl certificates in non-browser software. In: Proceedings of the 2012 ACM Conference on Computer and Communications Security, CCS 2012, pp. 38–49. ACM, New York (2012)
Marcan, Bushing: Console hacking 2008: Wii fail. In: 25th Chaos Communication Congress, 25C3. Chaos Computer Club (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Irwin, K. (2015). Redesigning Secure Protocols to Compel Security Checks (Transcript of Discussion). In: Christianson, B., Švenda, P., Matyáš, V., Malcolm, J., Stajano, F., Anderson, J. (eds) Security Protocols XXIII. Security Protocols 2015. Lecture Notes in Computer Science(), vol 9379. Springer, Cham. https://doi.org/10.1007/978-3-319-26096-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-26096-9_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-26095-2
Online ISBN: 978-3-319-26096-9
eBook Packages: Computer ScienceComputer Science (R0)