C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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