Availability

The prototype and an updated version of this document is available from:
https://www.iac.rm.cnr.it/newweb/tecno/indexsecurity.htm