From Typed Process Calculi to Source-Based Security.

Andrew D. Gordon

Published in: SAS (2005)

Keyphrases

real time
higher order
database
web services
case study
access control
process model
development process