Login / Signup
Proving Noninterference and Functional Correctness Using Traces.
John McLean
Published in:
J. Comput. Secur. (1992)
Keyphrases
</>
search engine
security policies
real time
data sets
social networks
computer vision
video sequences
functional analysis