Login / Signup

Parametric and probabilistic model checking of confidentiality in data dispersal algorithms.

Marco BaldiAlessandro CucchiarelliLinda SenigagliesiLuca SpalazziFrancesco Spegni
Published in: HPCS (2016)
Keyphrases
  • model checking
  • data structure
  • temporal logic
  • orders of magnitude
  • data mining algorithms
  • formal verification
  • transition systems
  • computational complexity
  • game theory