Sign in
A Formal Model for the Grid Security Infrastructure.
Baiyan Li
Ruonan Rao
Minglu Li
Jinyuan You
Published in:
WISE (2004)
Keyphrases
</>
formal model
security properties
data collection
real time
information exchange
remote access
probabilistic knowledge
support environment
data sets
neural network
distributed systems
computing environments
formal models
predicate calculus