Validating the Use of BAN LOGIC.

José María Sierra Julio César Hernández Castro Almudena Alcaide Joaquín Torres Márquez

Published in: ICCSA (1) (2004)

Keyphrases

ban logic
formal analysis
authentication protocol
smart card
database systems
end to end
artificial intelligence
software systems