[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