Effective Sequential Protocol Composition in Maude-NPA

@article{Santiago2016EffectiveSP,
  title={Effective Sequential Protocol Composition in Maude-NPA},
  author={Sonia Santiago and Santiago Escobar and Catherine A. Meadows and Jos{\'e} Meseguer},
  journal={CoRR},
  year={2016},
  volume={abs/1603.00087}
}
Protocols do not work alone, but together, one protocol rely ing on another to provide needed services. Many of the problems in cryptographic protocols arise when such compos ition is done incorrectly or is not well understood. In this p aper we discuss an extension to the Maude-NPA syntax and its opera tional semantics to support dynamic sequential compositio n of protocols, so that protocols can be specified separately a nd composed when desired. This allows one to reason about man y… CONTINUE READING
Recent Discussions
This paper has been referenced on Twitter 2 times over the past 90 days. VIEW TWEETS

From This Paper

Figures, tables, and topics from this paper.
3 Citations
40 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 40 references

Sequ ential protocol composition in Maude-NPA

  • J. Meseguer S. Escobar, C. Meadows, S. Santiago
  • Technical Repor t DSIC-II/06/10, Universitat…
  • 2010
Highly Influential
3 Excerpts

S trand spaces: From key exchange to secure location

  • J. D. Guttman, J. C. Herzog, V. Swarup, F. J. Thayer
  • In Carolyn Talcott, editor,Workshop on Event…
  • 2008
Highly Influential
3 Excerpts

Features in Protocol Verification: Theory, Proper ties, and Efficiency in Maude-NPA

  • Sonia Santiago.Advanced
  • PhD thesis, Universitat Politècnica de València…
  • 2015
2 Excerpts

Similar Papers

Loading similar papers…