Security protocol notation

In cryptography, security (engineering) protocol notation, also known as protocol narrations and Alice & Bob notation, is a way of expressing a… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2014-2016
01220142016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Designing distributed protocols is complex and requires actions at very different levels: from the design of an interaction flow… (More)
  • table 1
  • table 4
  • table 3
  • table 6
  • table 7
Is this relevant?
2016
2016
  • Michele Bugliesia, Stefano Calzavaraa, Sebastian Mödersheimb, Paolo Modestic
  • 2016
Designing distributed protocols is complex and requires actions at very different levels: from the design of an interaction flow… (More)
  • table 1
  • figure 2
  • table 4
  • table 6
  • table 7
Is this relevant?
2015
2015
The AnBx compiler is a tool for automatic generation of Java implementations of security protocols specified in a simple and… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 4
Is this relevant?
2015
2015
The implementation of security protocols is challenging and error-prone. A model-driven development approach allows the automatic… (More)
Is this relevant?
2014
2014
The implementation of security protocols is challenging and error-prone, as experience has proved that even widely used and… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?