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