G. Papadopoulos, N. Bassiliades Department of Informatics Aristotle University of Thessaloniki Greece.
Towards a Declarative Language and System for Secure Networking Martín Abadi 1,2, Boon Thau Loo 3 1 Microsoft Research Silicon Valley, 2 UC Santa Cruz,
