A Formal Specification of the DNSSEC Model.

Ezequiel Bazan Eixarch Gustavo Betarte Carlos Daniel Luna

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)

Keyphrases

formal specification
real world
high level
specification language
database
artificial intelligence
database systems
cooperative
knowledge acquisition
model checking