Network Security and Storage Security: Symmetries and Symmetry-Breaking.

Donald Beaver Network Security and Storage Security: Symmetries and Symmetry-Breaking. 3-9 2002 IEEE Security in Storage Workshop http://csdl.computer.org/comp/proceedings/sisw/2002/1888/00/18880003abs.htm db/conf/sisw/sisw2002.html#Beaver02