Expressive Power of Definite Clauses for Verifying Authenticity

Gilberto Filé, Roberto Vigo. Expressive Power of Definite Clauses for Verifying Authenticity. In Proceedings of the 22nd IEEE Computer Security Foundations Symposium, CSF 2009, Port Jefferson, New York, USA, July 8-10, 2009. pages 251-265, IEEE Computer Society, 2009. [doi]

Abstract

Abstract is missing.