Bridging Language-Based and Process Calculi Security.

Riccardo Focardi Sabina Rossi Andrei Sabelfeld

Published in: FoSSaCS (2005)

Keyphrases

data mining
information systems
programming language
artificial intelligence
query language
logic programs
access control
logic programming
intrusion detection
information security
modeling language
computer security