Formal Model of a Trusted File Server.
J. C. WilliamsGeorge W. DinoltPublished in: IEEE Symposium on Security and Privacy (1989)
Keyphrases
- formal model
- database
- web server
- client server
- outsourced databases
- formal models
- security properties
- file structure
- network bandwidth
- predicate calculus
- file system
- file formats
- central server
- network connection
- distributed environment
- single server
- network traffic
- probabilistic knowledge
- trusted computing
- hard disk
- distributed systems