Journal Article
A NEW SECURITY TESTING METHOD AND ITS APPLICATION TO THE SECURE XENIX KERNEL
COMPARATIVE ANALYSIS OF MULTIPROCESSOR SCHEDULING ALGORITHMS.
PROPERTIES OF MULTIPROCESSOR SCHEDULING ALGORITHMS.
NEW SECURITY TESTING METHOD AND ITS APPLICATION TO THE SECURE XENIX KERNEL.
ON THE DESIGN AND THE IMPLEMENTATION OF SECURE XENIX WORKSTATIONS.
CONCURRENCY CONTROL ISSUES IN DISTRIBUTED HETEROGENEOUS DATABASE MANAGEMENT SYSTEMS.
ASSESSMENT OF THE REAL-TIME REQUIREMENTS FOR PROGRAMMING ENVIRONMENTS AND LANGUAGES.
NOTE ON THE DENIAL-OF-SERVICE PROBLEM.
REPRESENTING DATA BASES IN SEGMENTED NAME SPACES.