Login / Signup

Towards an awareness-based semantics for security protocol analysis.

Rafael AccorsiDavid A. BasinLuca Viganò
Published in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
  • database systems
  • data analysis
  • data mining
  • metadata
  • cloud computing