Specifying and Modelling Secure Channels in Strand Spaces.

Allaa Kamil Gavin Lowe

Published in: Formal Aspects in Security and Trust (2009)

Keyphrases

multi channel
security issues
standard model
data mining
low cost
lightweight
key management
authentication protocol
key distribution
security management
genetic algorithm
multi party
security requirements
authentication scheme
cost efficient
covert channel