An Approach to the Formal Verification of Cryptographic Protocols

@inproceedings{Bolignano1996AnAT,
  title={An Approach to the Formal Verification of Cryptographic Protocols},
  author={Dominique Bolignano},
  booktitle={ACM Conference on Computer and Communications Security},
  year={1996}
}
We present an approach to the verification of authentication protocols. The approach is based on the use of general purpose formal methods. It is complementary with modal logic based-approach{~S as it allows for a description of protocol, hypotheses and authentication properties at a finer level of precision and with more freedom. It differs from formal methods based approaches and in particular from Meadows' approach in that it focuses more on proof conciseness and readability than on proof… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 61 CITATIONS, ESTIMATED Infinity% COVERAGE

61 Citations

02468'97'02'08'14
Citations per Year
Semantic Scholar estimates that this publication has 61 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…