Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Software
Reference98 articles.
1. Lamport, L.: Proving the correctness of multiprocess programs. IEEE Trans. Softw. Eng. SE-3(2), 125–143 (1977)
2. Alpern, B., Schneider, F.: Defining Liveness. Inf. Process. Lett. 21(4), 181–185 (1985)
3. Gödel, K.: On formally undecidable propositions of principia mathematica and related systems I”. In: From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931. Harvard University Press, Harvard, pp. 592–617 (1967)
4. The Rand Corporation: Security Controls For Computer Systems, Washington, DC (1970)
5. Anderson, J.P.: Computer Security Technology Planning Study, Bedford (1972)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献