Formal Policies for Trusted Processes.

Jaisook Landauer Timothy Redmond Terry Benzel

Published in: CSFW (1989)

Keyphrases

dynamic aspects
distributed environment
optimal policy
process model
formal specification
machine learning
case study
learning environment
formal model
communication channels