A graphical environment for the facilitation of logic-based security protocol analysis

@article{Saul2000AGE,
  title={A graphical environment for the facilitation of logic-based security protocol analysis},
  author={Elton Saul and A. C. M. Hutchison},
  journal={South African Computer Journal},
  year={2000},
  volume={26},
  pages={196-200}
}
The development of cryptographic logics to analyze security protocols has provided one technique for ensuring the correctness of security protocols. However, it is commonly acknowledged that analysis using a modal logic such as GNY tends to be inaccessible and obscure for the uninitiated. In this paper we describe a graphical tree-based specification environment which can be used to easily construct GNY statements using contextualized pop-up menus. The interface which we describe helps to move… CONTINUE READING

Figures and Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-6 OF 6 REFERENCES

SPEAR: Security Protocol Engineering and Analysis Resources

  • J. P. Beckmann, P. De Goede, A.C.M. Hutchison
  • In DIMACS Workshop on Design and Formal…
  • 1997
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…