A Declarative Framework for Security: Secure Concurrent Constraint Programming.

Hugo A. Lpez, Catuscia Palamidessi, Jorge Andrs Prez, Camilo Rueda, Frank D. Valencia

Browse the full ICLP paper archive.