Formal Support to Security Protocol Development: A Survey.

Juan Carlos López Pimentel Raúl Monroy

Published in: Computación y Sistemas (2008)

Keyphrases

security protocols
support systems
ontological engineering
knowledge management
formal model
end users
software engineering
low cost
operating system