[SystemSafety] Messaging Vulnerabilities

Derek M Jones derek at knosof.co.uk
Thu Feb 15 15:51:23 CET 2018


Peter,

> Green's conclusion might strike some of us as a little odd. He suggests protocol specifications are
> not enough (Signal has quite detailed specs). To find weaknesses, he suggests *testing*.

Goats entrails has been used for thousands of years.
Why change now?

A list of failed proofs of the N vs. NP problem:
https://www.win.tue.nl/~gwoegi/P-versus-NP.htm
-- 
Derek M. Jones           Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com


More information about the systemsafety mailing list