|
Gerald J. Popek:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Johannes J. Martin:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Which papers of Johannes J. Martin cite Gerald J. PopekOrdered by citing publication[Change the order to 'ordered by cited']
-
Robert P. Trueblood, H. Rex Hartson, Johannes J. Martin
MULTISAFE - A Modular Multiprocessing Approach to Secure Database Management. [Citation Graph (1, 26)][DBLP] ACM Trans. Database Syst., 1983, v:8, n:3, pp:382-409 [Journal] Cites:
-
Deborah Downs, Gerald J. Popek
A Kernel Design for a Secure Data Base Management System. [Citation Graph (3, 14)][DBLP] VLDB, 1977, pp:507-514 [Conf]
-
Gerald J. Popek, David A. Farber
A Model for Verification of Data Security in Operating Systems. [Citation Graph (1, 0)][DBLP] Commun. ACM, 1978, v:21, n:9, pp:737-749 [Journal]
-
Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek
Specification and Verification of the UCLA Unix Security Kernel. [Citation Graph (2, 0)][DBLP] Commun. ACM, 1980, v:23, n:2, pp:118-131 [Journal]
|