Decidability and Complexity Results for Security Protocols.

Ferucio Laurentiu Tiplea Constantin Enea Catalin V. Bîrjoveanu

Published in: VISSAS (2005)

Keyphrases

security protocols
automated design
artificial immune algorithm
database
artificial intelligence
security properties
cryptographic algorithms
case study
real time
databases
wireless sensor networks
end to end
security services