Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach.

Ralf Küsters Tomasz Truderung

Published in: CCS (2008)

Keyphrases

image analysis
databases
database
genetic algorithm
case study
sensor networks
statistical analysis
theoretical framework
formal analysis
formal theory