Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
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 |