Login / Signup
Overhead Verification for Cryptographically Secured Transmission on the Grid.
Wojciech Rzasa
Marian Bubak
Bartosz Balis
Tomasz Szepieniec
Published in:
Comput. Artif. Intell. (2007)
Keyphrases
</>
data transmission
model checking
grid points
information security
grid computing
data structure
grid environment
signature verification
information systems
case study
formal verification
low overhead
transmission rate
grid cells