Analysis of the Security of BB84 by Model Checking

Mohamed Elboukhari Mostafa Azizi Abdelmalek Azizi

Published in: CoRR (2010)

Keyphrases

model checking
temporal logic
formal specification
formal methods
formal verification
model checker
symbolic model checking
software engineering
information security
epistemic logic
pspace complete
verification method
abstract interpretation
artificial intelligence
np complete
bounded model checking