The Meaning of Attack-Resistant Programs.

Vijay Ganesh Sebastian Banescu Martín Ochoa

Published in: CoRR (2015)

Keyphrases

natural language
e learning
denial of service attacks
real time
high level
similarity measure
smart card
answer sets
countermeasures
computer programs
fixpoint
semantic interpretation
automatic programming
provably correct
attack detection
key exchange protocol