WorldCat Identities

Jones, Anita K.

Overview
Works: 13 works in 31 publications in 1 language and 370 library holdings
Genres: Periodicals  Conference proceedings 
Roles: Editor
Classifications: QA76.9.S88, 001.6405
Publication Timeline
Key
Publications about  Anita K Jones Publications about Anita K Jones
Publications by  Anita K Jones Publications by Anita K Jones
Most widely held works by Anita K Jones
Perspectives on computer science : from the 10th anniversary symposium at the Computer Science Department, Carnegie-Mellon University by Symposium on Perspectives on Computer Science ( Book )
9 editions published in 1977 in English and held by 314 WorldCat member libraries worldwide
An access control facility for programming languages by Anita K Jones ( Book )
4 editions published in 1976 in English and held by 11 WorldCat member libraries worldwide
Controlled sharing of information is needed and desirable for many applications. Access control mechanisms exist in operating systems to provide such controlled sharing. However, programming languages currently do not support such a facility. This paper argues that to enhance software reliability programming languages should support controlled sharing of information; the paper illustrates how such an access control facility could be incorporated in a programming language. The mechanism described is suitable for incorporation in object-oriented languages which permit the definition of abstract data types; it is defined in such a way as to enable compile time checking of access control. (Author)
The enforcement of security policies for computation by Anita K Jones ( Book )
2 editions published in 1975 in English and held by 8 WorldCat member libraries worldwide
Security policies define how information within a computer system is to be used. Protection mechanisms are built into these systems to enforce security policies. However, in most systems it is quite unclear what policies a particular mechanism can or does enforce. This paper precisely defines security policies and protection mechanisms in order to bridge the gap between them with the concept of soundness: whether a protection mechanism enforces a specific policy for a given program. Different sound protection mechanisms for the same policy and program can then be compared (on the basis of completeness) to determine if one outperforms the others. That a union of mechanisms for the same policy and program can be taken to produce a more complete mechanism is demonstrated. Although a maximal mechanism exists it cannot necessarily be effectively found. In addition to developing a theoretical framework in which to discuss security, a surveillance protection mechanism is introduced which indicates that it is sound and that it is more complete than the commonly used high water mark mechanism. (Author)
Protection in programmed systems by Anita K Jones ( Book )
3 editions published between 1973 and 1981 in English and held by 6 WorldCat member libraries worldwide
Cerro, a secure mail system by Anita K Jones ( Book )
1 edition published in 1981 in English and held by 6 WorldCat member libraries worldwide
The Cm* multiprocessor project : a research review by Anita K Jones ( Book )
3 editions published in 1980 in English and Undetermined and held by 5 WorldCat member libraries worldwide
The 50-processor Cm multiprocessor became operational in fall 1979, making it one of the largest multiprocessors in existence. The associated operating systems are nearing the point that they can be used to harness the computation power of Cm to run experimental applications. Thus, the Cm project is nearing the end of the development phase and is entering an experimental phase. The most important recent milestones for the Cm project are: A stable, operational, Cm/50 configuration. It is routinely in use by several different research groups at a time. Some enhancements to hardware continue. In particular, a prototype disk controller has just been completed. Two operating systems, STAROS and MEDUSA, now run on multiple clusters. They have just reached the state of beginning to support user applications and are in the process of being tuned for performance. Crucial to performance is the microcoded portion of each of the operating systems; microcode performance measurements are discussed in detail in this review. Initial 50-processor application measurements. This document reports the results of the first experiments to utilize the full fifty-processor Cm configuration
ACM transactions on computer systems by Association for Computing Machinery ( )
in English and held by 5 WorldCat member libraries worldwide
Printbegrænsninger: Der kan printes kapitelvis
Workshop on Multiprocessors for High Performance Parallel Computation, sponsored by Carnegie-Mellon University and the National Science Foundation, Seven Springs, Champion, Pennsylvania, June 27-29, 1983 by Workshop on Multiprocessors for High Performance Parallel Computation ( Book )
1 edition published in 1983 in English and held by 5 WorldCat member libraries worldwide
10th anniversary symposium : Computer Science Department, Carnegie-Mellon University, October 6-7-8, 1975 ( Book )
1 edition published in 1975 in English and held by 3 WorldCat member libraries worldwide
Secure data bases : protection against user inference by David P Dobkin ( Book )
1 edition published in 1976 in English and held by 3 WorldCat member libraries worldwide
Experience using multiprocessor systems : a status report by Anita K Jones ( Book )
2 editions published in 1979 in Undetermined and English and held by 2 WorldCat member libraries worldwide
Workshop on Multiprocessors for High Performance Parallel Computation by Workshop on Multiprocessors for High Performance Parallel Computation ( Book )
1 edition published in 1983 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.79 (from 0.00 for Perspectiv ... to 1.00 for Workshop o ...)
Languages
English (29)