Hyper-LIB: a Formal Model for an Electronic Library Based on Hyper-Books.

Nadia Catenazzi Lorenzo Sommaruga

Published in: J. Documentation (1995)

Keyphrases

formal model
formal models
electronic books
databases
security properties
security patterns
intrusion detection