600.436
High-Assurance Systems
Fall 01/PCMS Exercise
2
What is PCMS?
¨PCMS is a
high-integrity configuration management
system
¨Most objects are
written once and never modified (we call
these “entities”)
–Archival store, not a
database
¨What security
policies apply to such objects?
¨What are the
threats?
¨What does this mean
in implementation terms?