Formally based semi-automatic implementation of an open security protocol.

Alfredo Pironti Davide Pozza Riccardo Sisto

Published in: J. Syst. Softw. (2012)

Keyphrases

semi automatic
security protocols
fully automatic
gold standard
semi automatically
domain ontology
semantic annotation
ontology mapping
wrapper generation
artificial immune algorithm
labor intensive
security services
databases
low cost
key management
cryptographic algorithms