Login / Signup

Checking Secrecy by Means of Partial Order Reduction.

Cas J. F. CremersSjouke Mauw
Published in: SAM (2004)
Keyphrases
  • partial order reduction
  • data sets
  • consistency checking
  • digital images
  • formal model
  • security analysis