Elizabeth A. Unger

Affiliations:
  • Kansas State University, Manhattan, KS, USA


According to our database1, Elizabeth A. Unger authored at least 35 papers between 1976 and 1996.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1996
On the control structure of a program slice.
J. Syst. Softw., 1996

1994
A Proposed Mechanism for Implementation of Non-Discretionary Access Controls in a Network Environment.
Comput. Networks ISDN Syst., 1994

A deterrent to linear system inferential attacks using a mediator.
Proceedings of the 1994 ACM Symposium on Applied Computing, 1994

1993
A survey of security issues in office computation and the application of secure computing models to office systems.
Comput. Secur., 1993

Integrity in object-oriented database systems.
Comput. Secur., 1993

1992
Using program dependence graphs for information flow control.
J. Syst. Softw., 1992

A model of integrity for object-oriented database systems.
Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992

1991
An Extended Memoryless Inference Control Method: Accounting for Dependence in Table-level Controls.
Proceedings of the 1991 ACM SIGMOD International Conference on Management of Data, 1991

Domain reduction dependencies: A new type of dependency for statistical database security.
Proceedings of the Seventh Annual Computer Security Applications Conference, 1991

A method for constructing generalized non-normal-form models.
Proceedings of the 19th annual conference on Computer Science, 1991

1990
Specification and Verification of Active Message Systems.
Proceedings of the 1990 ACM SIGSMALL/PC Symposium on Small Systems, 1990

A Formal Specification Tool for Office Systems.
Proceedings of the 1990 ACM SIGSMALL/PC Symposium on Small Systems, 1990

Dynamic Data as Deterrent to the Tracker.
Proceedings of the 1990 ACM SIGSMALL/PC Symposium on Small Systems, 1990

Design of Knowiedge-Based Integrity Systems with ISL++.
Proceedings of the SEKE'90, 1990

Designing a dynamic integrity constraint checker with nonmonotonic logic.
Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

Natural change in dynamic databases as a deterrent to compromise by trackers.
Proceedings of the Sixth Annual Computer Security Applications Conference, 1990

Entropy as a measure of database information.
Proceedings of the Sixth Annual Computer Security Applications Conference, 1990

ABSL: An Actor-Based Specification Language for Office Automation.
Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, 1990

Logic of Knowledge and Belief in the Design of an Integrity Kernel for an Office Information System (Abstract).
Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, 1990

1988
A User Interface for Database Creation Use and Maintenance.
Proceedings of the 1988 ACM SIGSMALL/PC Symposium on ACTES, May 4-6, 1988, Cannes, France, 1988

Resource scheduling: specification and proof techniques.
Proceedings of the Sixteenth ACM Annual Conference on Computer Science, 1988

1987
IS and MIS: a compromise?
Proceedings of the 18th SIGCSE Technical Symposium on Computer Science Education, 1987

A variation of conceptual graphs: an object-oriented approach.
Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, 1987

Manifolds: a very high-level conceptual framework of interprocess synchronization and communication.
Proceedings of the 15th ACM Annual Conference on Computer Science, 1987

1986
SFM: synchronizing forms manager.
Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems, 1986

1984
Resource Monitors: A Design Methodology for Operating Systems.
Softw. Pract. Exp., 1984

1983
Modeling jobs in a distributed system.
Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers, 1983

Query processing in a distributed data base.
Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers, 1983

A predictor for success in an introductory programming class based upon abstract reasoning development.
Proceedings of the 14th SIGCSE Technical Symposium on Computer Science Education, 1983

1982
A troughput model: sequential vs concurrent processing.
Inf. Syst., 1982

Evolving to distributed database environments.
Comput. Commun., 1982

1980
A major in information systems.
Proceedings of the 11th SIGCSE Technical Symposium on Computer Science Education, 1980

1979
Data base management system environments present and future.
Proceedings of the Second symposium on Small systems, 1979

Design for integration of a DBMS into a network environment.
Proceedings of the sixth symposium on Data communications, 1979

1976
An instructionally acceptable cost effective approach to a general introductory course.
ACM SIGCSE Bull., 1976


  Loading...