Filters








311 Hits in 2.8 sec

The Multics kernel design project

Michael D. Schroeder, David D. Clark, Jerome H. Saltzer
1977 ACM SIGOPS Operating Systems Review  
We describe a plan to create an auditable version of Multics. The engineering experiments of that plan are now complete.  ...  Type extension as a design discipline has been demonstrated feasible, even for the internal workings of an operating system, where many subtle intermodule dependencies were discovered and controlled.  ...  This description brings us to the stage of the Multics kernel design project today.  ... 
doi:10.1145/1067625.806546 fatcat:fjiklkpy2vf5fgebsfortvk7te

The Multics kernel design project

Michael D. Schroeder, David D. Clark, Jerome H. Saltzer
1977 Proceedings of the sixth symposium on Operating systems principles - SOSP '77  
We describe a plan to create an auditable version of Multics. The engineering experiments of that plan are now complete.  ...  Type extension as a design discipline has been demonstrated feasible, even for the internal workings of an operating system, where many subtle intermodule dependencies were discovered and controlled.  ...  This description brings us to the stage of the Multics kernel design project today.  ... 
doi:10.1145/800214.806546 dblp:conf/sosp/SchroederCS77 fatcat:2dwq3y5vqfgavlw3qxdnegbspi

Engineering a security kernel for Multics

Michael D. Schroeder
1975 Proceedings of the fifth symposium on Operating systems principles - SOSP '75  
This paper describes a research project to engineer a security kernel for Multics, a general-purpose, remotely accessed, multiuser computer system.  ...  The paper presents the overall viewpoint and plan for the project and discusses initial strategies being employed to define and structure the security kernel.  ...  Acknowledgements In describing a group project of the Computer Systems Research Division of Project MAC at M.I.T., this paper discusses the work of several faculty members, graduate students, and staff  ... 
doi:10.1145/800213.806518 dblp:conf/sosp/Schroeder75 fatcat:nbceukdiarhnxkojlzk5v2hcqm

Engineering a security kernel for Multics

Michael D. Schroeder
1975 ACM SIGOPS Operating Systems Review  
This paper describes a research project to engineer a security kernel for Multics, a general-purpose, remotely accessed, multiuser computer system.  ...  The paper presents the overall viewpoint and plan for the project and discusses initial strategies being employed to define and structure the security kernel.  ...  Acknowledgements In describing a group project of the Computer Systems Research Division of Project MAC at M.I.T., this paper discusses the work of several faculty members, graduate students, and staff  ... 
doi:10.1145/1067629.806518 fatcat:l7rwu3onirf75h7flcjhglppku

Dynamic linking and environment initialization in a multi-domain process

Philippe A. Janson
1975 Proceedings of the fifth symposium on Operating systems principles - SOSP '75  
As part of an effort to engineer a security kernel for Multics, the dynamic linker has been removed from the domain of the security kernel.  ...  A design based on this decomposition of the dynamic linking and environment initialization functions is presented.  ...  When the Multics security kernel design project was started, dynamic inter-procedure linking [2, 9, 10, 11 ] seemed to be an example of a function that did not belong in the security kernel of the operating  ... 
doi:10.1145/800213.806520 dblp:conf/sosp/Janson75 fatcat:a6kpz2po2zag5ddjxxbsavif5q

First Edition Unix: Its Creation and Restoration

Warren Toomey
2010 IEEE Annals of the History of Computing  
Acknowledgments I thank all the members of the Unix restoration project including Johan Beisser, Tim Bradshaw, Ralph Logan, Doug Merritt, James Markevitch, Brad Parker, and most particularly Tim Newsham  ...  The creation of Unix The catalyst for the creation of Unix was the withdrawal of AT&T's Bell Laboratories from the Multics project in 1969. 5 Multics was started in 1964 as a collaboration between MIT  ...  Bell Labs had invested heavily in Multics with the purchase of a GE 645 machine in 1965 and with several researchers dedicated to the project including Ken Thompson, Dennis Ritchie, Joseph Ossanna, Stu  ... 
doi:10.1109/mahc.2009.55 fatcat:lakujkysfjgavoyvc7xumu7y3i

Operating System Security

Trent Jaeger
2008 Synthesis Lectures on Information Security Privacy and Trust  
He designed Sun's multilevel desktops based on Open Look, CDE, and GNOME; he holds a patent for the underlying X11 security policy.  ...  He is active in the security research community, having been a member of the program committees of all the major security conferences, and the program chair of the ACM CCS Government and Industry Track  ...  Recall from Chapter 3 that Bell Labs was a member of the Multics consortium. However, Bell Labs dropped out of the Multics project in 1969, primarily due to delays in the project.  ... 
doi:10.2200/s00126ed1v01y200808spt001 fatcat:o7qgtis6zffr3disdujoq4izaa

AN INTERVIEW WITH

J. J. Barr
1973 Journal - American Water Works Association  
in the 2000s.  ...  He helped form and served on the Anderson Panel for the Air Force in the early 1970s (was MITRE's representative), oversaw path breaking computer security high assurance mathematical model work at MITRE  ...  You know, the Popek kernel is a VMM kernel for the PDP-11 that was built at UCLA. We didn't know much about KVM at the time, but we knew about the project.  ... 
doi:10.1002/j.1551-8833.1973.tb01886.x fatcat:uvk4omcwcvfkxjbgaescecvo5m

Scomp: A Solution to the Multilevel Security Problem

Fraim
1983 Computer  
A commercial hardware product, the Scomp system is a unique implementation of a hardware/software general-purpose operating system based on the security kernel concept.  ...  Scomp hardware supports a Multics-like, hardware-enforced ring mechanism, virtual memory, virtual I/O processing, page-fault recovery support, and performance mechanisms to aid in the implementation of  ...  Although Project Guardian was never completed, the use of Multics features to provide multilevel security was pursued in a revised Scomp effort, a joint project of Honeywell Information Systems and the  ... 
doi:10.1109/mc.1983.1654440 fatcat:c3rr57x6ivhftf2x5hyxpbzrva

Using Proven Reference Monitor Patterns for Security Evaluation

Mark Heckman, Roger Schell
2016 Information  
The most effective approach to evaluating the security of complex systems is to deliberately construct the systems using security patterns specifically designed to make them evaluable.  ...  Just such an integrated set of security patterns was created decades ago based on the Reference Monitor abstraction.  ...  Acknowledgments: Roger Schell, one of the authors, was a member of the executive management of organizations, including Gemini Computers, Inc., and Aesec Corporation, participating in the design and delivery  ... 
doi:10.3390/info7020023 fatcat:frczzwdtvfbmvaf3gv4cu72quu

Applications for multilevel secure operating systems

JOHN P. L. WOODWARD
1979 1979 International Workshop on Managing Requirements Knowledge (MARK)  
System (KSOS), and briefly discusses the organization of kernel-based secure systems.  ...  Before the discussion of secure computer applications, the following section describes the past and present work that is leading to the completion of a mathematically verified Kernelized Secure Operating  ...  A logical extension of the early MITRE PDP-II kernel work led to a MITRE/Honeywell project to design a kernel for the MULTICS operating system, 11 also under Air Force sponsorship.  ... 
doi:10.1109/mark.1979.8817315 fatcat:nlu27t5yqzfmpne2a65at6ok4i

Lessons from VAX/SVS for High Assurance VM Systems

Mary Ellen Zurko, Steve Lipner, Trent Jaeger
2012 IEEE Security and Privacy  
Peter Conklin, whose contributions to VAX/VMS from Star to Alpha are relatively well known, was an unsung hero of the SVS project. His early insights had a tremendous impact on the system.  ...  Acknowledgments Each of the authors has fond memories of Paul Karger. Without him, this article would not have been wri en.  ...  Paul Karger and Steve Lipner were associated with the US Air Force Multics Guardian Project, 5 intended to modify Multics to incorporate a high-assurance security kernel, and with SCOMP (Secure Communications  ... 
doi:10.1109/msp.2012.87 fatcat:4pfygm5korg7rmdjywj2xw62wi

Ongoing research and development on information protection

Jerome H. Saltzer
1974 ACM SIGOPS Operating Systems Review  
Acknowledgement Many individuals involved in the projects described here spent time patiently explaining their activities to me, putting together written descriptions for me to work from, and reviewing  ...  These are: design and implementation of a provable secure kernel for a DEC PDP 11/45 computer, formal modeling of security aspects of computer systems (Multics in particular), two micro-programmed emulations  ...  of the Honeywell 6180 as part of security architecture studies, application of virtual machine techniques within a security kernel, application of a certifiably secure kernel to Multics, and development  ... 
doi:10.1145/775275.775278 fatcat:c5o7efmfwfczln4art3y5q2n4a

Issues in kernel design [chapter]

G. J. Popek, C. S. Kline
1978 Lecture Notes in Computer Science  
In both the Multics system and a Unix prototype under development at the Mitre Corporation, the kernel is essentially part of the user process, even sharing the process address space in the Multics case  ...  The Multics logger and the UCLA initiator both run as standard processes, except that the Multics ring zero software and the UCLA kernel both accept the authentication decision made by that process, and  ... 
doi:10.1007/3-540-08755-9_5 fatcat:y43endaxqvhs3emjwyqyyrrby4

History of US Government Investments in Cybersecurity Research: A Personal Perspective

Carl E. Landwehr
2010 2010 IEEE Symposium on Security and Privacy  
This paper traces the history of cybersecurity research funding by the U.S. government.  ...  The essay is written for the thirtieth anniversary meeting of the IEEE Symposium on Security and Privacy, held in May 2010.  ...  The statements in this paper reflect my personal views only and not those of the University of Maryland or any part of the U.S. Government.  ... 
doi:10.1109/sp.2010.41 dblp:conf/sp/Landwehr10 fatcat:ytpufgvy45enji6jspettzrn5u
« Previous Showing results 1 — 15 out of 311 results