Lack of Explicitness Strikes Back
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.
KeywordsTheorem Prove Security Protocol Disastrous Consequence Abstract View Provable Security
Unable to display preview. Download preview PDF.