Tossing Algebraic Flowers down the Great Divide (1999)

Cached

Download Links

by Joseph Goguen
Venue:In People and Ideas in Theoretical Computer Science
Citations:4 - 0 self

Active Bibliography

590 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
25 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
1116 Lattice-Based Access Control Models – Ravi S. Sandhu - 1993
A Doctoral Dissertation Directed by – Dr. Jos'e Meseguer - 1999
938 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
565 A Lattice Model of Secure Information Flow – Dorothy E. Denning - 1976
802 Applied Cryptography -- Protocols, Algorithms, and . . . – Bruce Schneier
1460 Security Architecture for the Internet Protocol – Randall Atkinson - 1995
1318 Monads for functional programming – Philip Wadler - 1995