Online Resources about Black-Box Monitoring and Monitorability

On this page you can find online material regarding the black-box monitoring approach for security protocol implementations.

Monitorability Measure

Download: monPV tool, along with SSL and SSH-TLP examples. Contains a README file with furhter instructions on compilation and usage.

Black-Box Monitoring

Manuscript

Pironti, A., and J. Jürjens, Black-Box Monitoring of Security Protocols, Revision 1, : Politecnico di Torino (Italy), Microsoft Research Cambridge (UK) and Open University (UK), 2009.

Case Studies

RSA Case study

Source code of the monitor implementation for SSL servers using RSA keys. Contains a README file with further instructions.

DSA Case study

Source code of the monitor implementation for SSL servers using DSA keys. Contains a README file with further instructions.