Login / Signup

A Verified Formal Model of a VC Generator.

R. D. Arthan
Published in: SEW (2006)
Keyphrases
  • formal model
  • formal models
  • security properties
  • predicate calculus
  • security patterns
  • vc dimension
  • real time
  • case study