Retro-Scopes Have Limited Value

It took less than 12 hours from the time that the FBI arrested Cesar Sayoc and information about his past inclinations was being dug up and presented. We knew about his arrest record, the threats he’d already made, and people he’d made uncomfortable were chiming in about how they thought he might be a problem someday.

[Read more…]

White House Tales – 1

“Does anyone here know anything about ‘firewalls’?” asked Steve Walker, the CEO of Trusted Information Systems (TIS). If you read Mechanizing Proof [stderr] stw crops up a couple of times – he was one of the proponents of trustworthy design through formal verification, and TIS produced an evaluated version of UNIX known as Trusted Xenix.

[Read more…]