Amanote Research
Register
Sign In
The Foundations of a Provably Secure Operating System (PSOS)
doi 10.1109/mark.1979.8817256
Full Text
Open PDF
Abstract
Available in
full text
Date
June 1, 1979
Authors
RICHARD J. FEIERTAG
PETER G. NEUMANN
Publisher
IEEE
Related search
Provably Secure Cryptographic Constructions
a Provably Secure Code-Based Concurrent Signature Scheme
IET Information Security
Computer Networks
Software
Information Systems
Communications
Practical and Provably Secure Distance-Bounding
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Provably Secure Steganography With Imperfect Sampling
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Efficient and Provably-Secure Certificateless Proxy-Signcryption Scheme for Electronic Prescription System
Security and Communication Networks
Computer Networks
Information Systems
Communications
Foundations of Secure Interactive Computing
A Provably Secure Distant Data Integrity Checking With Homomorphic Hash Function in Secure Cloud Storage
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
Provably Secure and Subliminal-Free Variant of Schnorr Signature
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Provably Secure Refreshable Partially Anonymous Token and Its Applications
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Electronic Engineering
Computer Graphics
Signal Processing
Applied Mathematics
Electrical
Computer-Aided Design
