摘要: This paper presents a brief exposition of the role various mathematical techniques in development and utilization resource protection structures for computers. The first section is concerned with semantics problem — distinction between problems general those whose complexity necessitates deeper theoretical treatment. second considers roles algebraic, topological, modal/multi-valued logic, analysis protection. Finally we give an current model to illustrate techniques.
springer.com
sci-hub.st 参考文章(29)
Brian R. Gaines, J. A. Maine, F. K. Williamson, Peter V. Facey, A High-Level Minicomputer. ifip congress. pp. 44- 48 ,(1974)
Anita Katherine Jones, Protection in programmed systems. Carnegie Mellon University. ,(1973)
J. A. Goguen, Semantics of computation Lecture Notes in Computer Science. pp. 151- 163 ,(1975) , 10.1007/3-540-07142-3_75
Edsger W. Dijkstra, Cooperating sequential processes The origin of concurrent programming. pp. 65- 138 ,(2002) , 10.1007/978-1-4757-3472-0_2
Arthur R. Miller, Michael S. Josephson, The assault on privacy ,(1971)
Howard Lee Morgan, An interrupt based organization for management information systems Communications of The ACM. ,vol. 13, pp. 734- 739 ,(1970) , 10.1145/362814.362822
LADISLAV KOHOUT, GENERALIZED TOPOLOGIES AND THEIR RELEVANCE TO GENERAL SYSTEM† Bibliography of Works of the č ech Topological School International Journal of General Systems. ,vol. 2, pp. 25- 34 ,(1975) , 10.1080/03081077508960829
Marvin Zelkowitz, Interrupt driven programming Communications of the ACM. ,vol. 14, pp. 417- 418 ,(1971) , 10.1145/362604.362618
R. M. Needham, Protection systems and protection implementations Proceedings of the December 5-7, 1972, fall joint computer conference, part I on - AFIPS '72 (Fall, part I). pp. 571- 578 ,(1972) , 10.1145/1479992.1480073
E. E. David, R. M. Fano, Some thoughts about the social implications of accessible computing Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I on XX - AFIPS '65 (Fall, part I). pp. 243- 247 ,(1965) , 10.1145/1463891.1463917