"Certification of Programs for Secure Information Flow" by Dorothy E. Denning and Peter J. Denning
 

Date of this Version

1976

Tech Report Number

76-181

Number of Pages

32

Share

COinS