Academic Journal
Non-interference through determinism.
| Τίτλος: | Non-interference through determinism. |
|---|---|
| Συγγραφείς: | Rosecoe, A.W., Woodcock, J.C.P. |
| Πηγή: | Journal of Computer Security. 1996, Vol. 4 Issue 1, p27. 27p. 1 Diagram, 1 Chart. |
| Θεματικοί όροι: | *Computer security, File processing (Computer science), Design |
| Περίληψη: | Provides a novel and intellectually satisfying formulation of computer security properties in an algebraic framework and show how these are preserved under refinement. Issues related to the area of computer security; Definitions of computer noninterference conditions and illustrations of some of their properties; Functional specification of a file system intended to maintain confidential information; Systemic way of mapping the specification. |
| Βάση Δεδομένων: | Business Source Index |
καταχωρήστε σχόλιο πρώτοι!