 | 1996 |
|---|
| 14 |       | Chyuan Samuel Hsieh,
Elizabeth A. Unger:
On the control structure of a program slice.
Journal of Systems and Software 34(2): 123-126 (1996) |
| 1994 |
|---|
| 13 |  | Rayford B. Vaughn,
Hossein Saiedian,
Elizabeth A. Unger:
A Proposed Mechanism for Implementation of Non-Discretionary Access Controls in a Network Environment.
Computer Networks and ISDN Systems 26(12): 1523-1531 (1994) |
| 1993 |
|---|
| 12 | | Rayford B. Vaughn,
Hossein Saiedian,
Elizabeth A. Unger:
A survey of security issues in office computation and the application of secure computing models to office systems.
Computers & Security 12(1): 79-97 (1993) |
| 11 | | James M. Slack,
Elizabeth A. Unger:
Integrity in object-oriented database systems.
Computers & Security 12(4): 389-404 (1993) |
| 1992 |
|---|
| 10 | | C. Samuel Hsieh,
Elizabeth A. Unger,
Ramón A. Mata-Toledo:
Using program dependence graphs for information flow control.
Journal of Systems and Software 17(3): 227-232 (1992) |
| 1990 |
|---|
| 9 | | Hossein Saiedian,
Elizabeth A. Unger:
ABSL: An Actor-Based Specification Language for Office Automation.
ACM Conference on Computer Science 1990: 252-258 |
| 8 | | Hossein Saiedian,
Elizabeth A. Unger:
A Formal Specification Tool for Office Systems.
SIGSMALL/PC Symposium 1990: 215-220 |
| 7 | | Kok Wai Wong,
Elizabeth A. Unger:
Specification and Verification of Active Message Systems.
SIGSMALL/PC Symposium 1990: 24-30 |
| 6 | | Miguel Cabrera,
Elizabeth A. Unger:
Dynamic Data as Deterrent to the Tracker.
SIGSMALL/PC Symposium 1990: 31-35 |
| 1988 |
|---|
| 5 | | Chyuan Samuel Hsieh,
Elizabeth A. Unger:
Resource scheduling: specification and proof techniques.
ACM Conference on Computer Science 1988: 429-437 |
| 4 | | G. Hecker,
Elizabeth A. Unger:
A User Interface for Database Creation Use and Maintenance.
SIGSMALL/PC 1988: 176-186 |
| 1987 |
|---|
| 3 | | Chyuan Samuel Hsieh,
Elizabeth A. Unger:
Manifolds: a very high-level conceptual framework of interprocess synchronization and communication.
ACM Conference on Computer Science 1987: 196-204 |
| 2 | | Elizabeth A. Unger,
Charles M. Hassett,
Constanza Castro:
IS and MIS: a compromise?
SIGCSE 1987: 483-489 |
| 1984 |
|---|
| 1 | | Ariel Pashtan,
Elizabeth A. Unger:
Resource Monitors: A Design Methodology for Operating Systems.
Softw., Pract. Exper. 14(8): 791-806 (1984) |
