Publication

Formal Security Policies for the Web

Dieter Hutter

In: S. Rajendram (editor). Proceedings of the 1st International Conference on Information Security and Computer Forensic. International Conference on Information Security and Computer Forensic (ISCF-2006) Chennai India Pages 259-268 Allied Publisher Pvt. Ltd. 12/2006.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz