[SystemSafety] Messaging Vulnerabilities

[SPRIGGS, John J]

I hope he meant 'testing' in its meaning of 'challenging', although harrying may be more effective...


John

From: systemsafety [mailto:systemsafety-bounces at lists.techfak.uni-bielefeld.de] On Behalf Of Derek M Jones
Sent: 15 February 2018 14:51
To: systemsafety at lists.techfak.uni-bielefeld.de
Subject: Re: [SystemSafety] Messaging Vulnerabilities

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<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
_______________________________________________
The System Safety Mailing List
systemsafety at TechFak.Uni-Bielefeld.DE<mailto:systemsafety at TechFak.Uni-Bielefeld.DE>

***************************************************************************
If you are not the intended recipient, please notify our Help Desk at Email information.solutions at nats.co.uk
immediately. You should not copy or use this email or attachment(s) for any purpose nor disclose
their contents to any other person.

NATS computer systems may be monitored and communications carried on them recorded, to 
secure the effective operation of the system.

Please note that neither NATS nor the sender accepts any responsibility for viruses or any losses
caused as a result of viruses and it is your responsibility to scan or otherwise check this email
and any attachments.

NATS means NATS (En Route) plc (company number: 4129273), NATS (Services) Ltd 
(company number 4129270), NATSNAV Ltd (company number: 4164590) 
or NATS Ltd (company number 3155567) or NATS Holdings Ltd (company number 4138218). 
All companies are registered in England and their registered office is at 4000 Parkway, 
Whiteley, Fareham, Hampshire, PO15 7FL.

***************************************************************************
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20180215/39a2c812/attachment.html>