A model for secure protocols and their compositions

  title={A model for secure protocols and their compositions},
  author={Nevin Heintze and J. Doug Tygar},
  booktitle={IEEE Symposium on Security and Privacy},
We give a formal model of protocol security Our model allows us to reason about the security of pro tocols and considers issues of beliefs of agents time and secrecy We prove a composition theorem which allows us to state su cient conditions on two secure protocols A and B such that they may be combined to form a new secure protocol C Moreover we give counter examples to show that when the conditions are not met the protocol C may not be secure 
Highly Cited
This paper has 130 citations. REVIEW CITATIONS



Citations per Year

130 Citations

Semantic Scholar estimates that this publication has 130 citations based on the available data.

See our FAQ for additional information.