Lack of Explicitness Strikes Back

Transcript of Discussion
  • Giampaolo Bella
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2133)


I guess we are all familiar with the principle of explicitness in the context of security protocols and know what the disastrous consequences could be when explicitness is lacked. But I’m going to show you another example of a protocol that actually does lack explicitness despite the fact that it’s been analysed formally by some kind of approach.


Theorem Prove Security Protocol Disastrous Consequence Abstract View Provable Security 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Giampaolo Bella
    • 1
  1. 1.University of CambridgeUK

Personalised recommendations