Expressive Power of Definite Clauses for Verifying Authenticity - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Gilberto FilÃ©' in GoogleThis author has not been identified. Look up 'Roberto Vigo' in Google

runs on WebDSL