600.436
High-Assurance Systems
Fall 01/PCMS Exercise
3
Items of Interest(?)
¨Key ideas:
–Most info in a CM
system is “frozen” (never modified)
–Really, only “branches” and “projects” need to be mutable
–Name frozen stuff with
cryptographic hash
–Name modifiable stuff
with Swiss numbers
–Use crypto for
authentication, access control
¨Exploration of
interaction between crypto capabilities
and wide-area replication