Side Effects Methods to fix safety break information flow control. Things to Think About Protocol: Abstractions, Design, Implementation Policy