Couldn't resist it though.

Robbing the bank with a theorem prover : read all about it-

http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-644.pdf

'and he has sold this corporate data, including information on weapons systems, to about 250 buyers through the internet.'

That's the real joy of the 'Buy it now' button on eBay. Much easier (but less fun) than the old smokey bars and turned up collars.

"1. further optimization: we are currently working to ensure that our use of the OTTER Theorem Prover provides a more focused search of the real attack tree, even with optimizations. The real attack tree is a pruned version of the naive attack tree: we believe theoretical results can rule out entire subtrees and help fight the computational explosion problem inherent to API verification." ..... http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-644.pdf

nickj,

Thanks for that read reference. The above plaintext, right at the end, took my fancy and I would not necessarily only agree that the real attack tree is a pruned version of the naive attack tree as it could also probably be a strapping new seedling, fertile and well rooted in virgin soil for new growth/added strength and security.

amfM Demodulation for NEUKlearer HyperRadioProActivity with the Power Banks of Banked Wealth? AI Virtualisation Cloning of E=mc2?

The Proof will be AI Pleasure Input in an Astute Class of ITs Own, ..... MeThinks Mumm's the word rather than Mum's the word ....... and Discretion before Valour ITs Savour for Added Flavour.

Too much love will kill you, Every time. ......but only if you let it. http://queen-lyrics-midi.blogspot.com/2007/10/queen-too-much-love-will-kill-you.html

"A man suspected of using computer hacking techniques to steal corporate secrets"

"The as-yet-unnamed 58-year-old mathematician"

"He is responsible for causing damages in excess of $361m to the company and he has sold this corporate data, including information on weapons systems, to about 250 buyers through the internet."

Who came up with the $361m and what was the name of the idiot that put $361m worth of 'secrets' on a computer that could be hacked. Why is he a mathematician, why is he unnamed, what was the name of the OS he allegidly hacked?