Enhancing security in the memory management unit

Conference Proceedings of the EUROMICRO

Volumn 1, Issue , 1999, Pages 449-456

  Gilmont, Tanguy ^a   Legat, Jean Didier ^a   Quisquater, Jean Jacques ^a  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

HARDWARE SECURITY; HARDWARE SOLUTIONS; LOGIC CONTROL; PROCESSOR ARCHITECTURES; PROGRAM EXECUTION; SECURITY MANAGEMENT; SECURITY PROBLEMS; VIRTUAL MEMORY;

COMPUTER ARCHITECTURE; HARDWARE; INFORMATION SCIENCE;

MEMORY MANAGEMENT UNITS;

EID: 84889019266     PISSN: 10896503     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EURMIC.1999.794507     Document Type: Conference Paper

References (34)

1. R.Grimm, B.Bershad, "Access Control in Extensible Systems," Technical Report, Dept. of Computer Science and Engineering, University of Washington, Seattle, UWCSE-97-11-01, May 1997.
2. R.Grimm, B.Bershad. Security for Extensible Systems, "The 6th Workshop on Hot Topics in Operating Systems (HotOS-VI)," Cape Cod, Massachusetts, pp. 62-66, May 1997.
3. D.R.Engler, M.F.Kaashoek, J.O'Toole Jr., "Exokernel : an Operating System Architecture for Application-Level Resource Management," Proceedings of the Fifteenth Symposium on Operating Systems Principles, December 1995.
4. S.J. Tanenbaum, R.van Renesse, H.van Staveren, "Amoeba : a Distributed Operating System for the 1990s," IEEE Computer, pp. 44-53, May 1990.
5. D.Bell, L.Lapadula, "Secure Computer Systems : Mathematical Foundations," Technical Report, Mitre Corporation, Vol.1, ESD-TR-73-278, 1973.
6. L.Lapadula, D.Bell. Secure, "Computer Systems : A Mathematical Model," Technical Report, Mitre Corporation, Vol.2, ESD-TR-73-278, 1973.
7. D.Bell, L.Lapadula, "Secure Computer Systems : Unified Exposition and Multics Interpretation," Technical Report, Mitre Corporation, ESD-TR-75-306, 1975.
8. K.Biba, "Integrity Considerations for Secure Computer Systems," Technical Report, Mitre Corporation, MTR-3153, 1975.
9. R.S.Sandhu, "Lattice-Based Access Control Models," IEEE Computer, Vol.26, No.11, pp. 9-19, Nov. 1993.
10. R.S.Sandhu, P.Samarati, "Access Control : Principles and Practice," IEEE Communication Magazine, pp. 40-48, Sep. 1994.
11. R.S.Sandhu, E.J.Coyne, H.L.Feinstein, C.E.Youman, "Role-Based Access Control Models," IEEE Computer, Vol.29, No.2, pp. 38-47, Feb. 1996.
12. L.C.Guillou, M.Ugon, J.J.Quisquater, "A Standardized Security Device Dedicated to Public Cryptology," Contemporary Cryptology : The Science of Information Integrity, edited by Gustavus J.Simmons, IEEE Press, pp. 561-613, 1992.
13. B.W.Lampson, "A Note on the Confinement Problem," Communications of the ACM, Vol.10, No.16, pp. 613-615, Oct. 1973.
14. S.Lipner, "A Comment on the Confinement Problem," Operating System Review, Vol.9, No.5, pp. 192-196, Nov. 1975.
15. E.Amoroso (AT&T Bell Laboratories), Fundamentals of Computer Security Technology, Prentice Hall, 1994.
16. X.N.Zhang, "Secure Code Distribution," IEEE Computer, pp. 76-79, Jun. 1997.
17. A.Pfitzmann, B.Pfitzmann, M.Schunter, M.Waidner, "Trusting Mobile User Devices and Security Modules," IEEE Computer, pp. 61-68, Feb. 1997.
18. A.Silberschatz, P.B.Galvin, Operating System Concepts, Addison-Wesley, 1994.
19. U.Vahalia, UNIX Internals : the New Frontiers, Prentice Hall, 1996.
20. S.Furber, ARM System Architecture, Addison-Wesley, 1996.
21. R.B.K.Dewar, M.Smosna, Microprocessors : a Programmer's View, Mc Graw Hill, 1990.
22. Hennessy, Patterson, Computer Architecture : a Quantitative Approach, Morgan Kaufmann Publishers, 1996.
23. Department of Defense Computer Security Center, "Department of Defense Trusted Computer System Evaluation Criteria," Departement of Defense Standard DoD, Dec. 1985.
24. IBM, "IBM 4758 PCI Cryptographic Coprocessor General Information Manual," IBM Documentation, GC31-8608-00, June 1997.
25. B.S.Yee, J.D.Tygar, "Secure Coprocessors in Electronic Commerce Applications," Proceedings of the 1st USENIX Workshop on Electronic Commerce, July 1995.
26. B.S.Yee, "Using Secure Coprocessor," Ph.D. Thesis, Carnegie Mellon University, 1994.
27. E.Palmer, "An Introduction to Citadel-a Secure Coprocessor for Workstations," IFIP SEC'94 Conference, Curacao, Dutch Antilles, May 1994.
28. R.Anderson, M.Kuhn, "Tamper Resistance-a Cautionary Note," Proceedings of the 2nd USENIX Workshop on Electronic Commerce, Oakland, California, pp. 1-11, Nov. 1996.
29. D.Chess, B.Grosof, C.Harrison, D.Levine, C.Parris, and G.Tsudik, "Itinerant agents for mobile computing," IEEE Personal Communication Systems, 2(5), pp. 34-49, Oct. 1995.
30. G.Karjoth, D.B.Lange, and M.Oshima, "A security model for aglets," IEEE Internet Computing, 1(4) pp.68-77, July/August 1997.
31. D.B.Lange, M.Oshima, G.Karjoth, and K.Kosaka, "Aglets: Programming mobile agents in java," 1st Int'l Conf. on Worldwide Computing and Its Applications '97 (WWCA97), Lecture Notes in Computer Science. Springer-Verlag, Berlin Germany, March 1997.
32. T.Gilmont, J-D.Legat, J-J.Quisquater, "An Architecture of Security Management Unit for Safe Hosting of Multiple Agents," International Workshop on Intelligent Communications and Multimedia Terminals (COST254), Ljubljana, pp 79-82, Nov. 1998.
33. T. Gilmont, J-D.Legat, J-J.Quisquater, "An Architecture of Security Management Unit,"Proceedings of SPIE: Security and Watermarking of Multimedia Contents, San Jose, Vol.3657, pp. 472-483, Jan. 1999.
34. Y.Deville and J.Gobert, "A Class of Replacement Policies for Medium and High-Associativity Structures," Computer Architecture News, Vol.20, No.1, pp. 55-61, 1992.