Feeds

Confidentiality Claws

A better way of security assessment

  • alert
  • submit to reddit

Securing Web Applications Made Simple and Scalable

Researchers at Imperial College, London are developing mathematical and programming techniques to better assess the extent that systems prevent the leakage of confidential information.

Typically, models for confidentiality characterise the absence of information flow by trying to establish non-interference between units of a system. It is notoriously difficult to establish such absolutes in a software system.

But better results can be obtained by applying a quantitative estimate of the information flowing through a system - rather than relying on the purely qualitative binary view, Herbert Wiklicky, a lecturer at Imperial College, London, argues.

This approach involves trying to work out the probability of information "leaking" from a system, rather than trying to prove there is no such flow.

According to Wiklicky, this approach allows the definition and investigation of non-interference which is approximate, but able to capture more realistically the security properties of a system. For example, if you can establish that it's highly unlikely that a bank ATM system will leak information, then you establish that the system is secure.

Wiklicky made his comments this week at a colloquium held at Kings College, London.

Imperial College wants to secure a research grant for the work, which looks at the mathematical fundamentals of the problem. Practical applications in assessing insurance risks and in computer security will flow from this work, Wicklicky says. ®

Related stories

SDMI crack team launches preemptive suit
Hack your bank for $995
NatWest 'glitch' sees thousands overcharged
E-mail wiretapping used to spy on corporate communications

The smart choice: opportunity from uncertainty

More from The Register

next story
Putin: Crack Tor for me and I'll make you a MILLIONAIRE
Russian Interior Ministry offers big pile o' roubles for busting pro-privacy browser
Mozilla fixes CRITICAL security holes in Firefox, urges v31 upgrade
Misc memory hazards 'could be exploited' - and guess what, one's a Javascript vuln
Manic malware Mayhem spreads through Linux, FreeBSD web servers
And how Google could cripple infection rate in a second
How long is too long to wait for a security fix?
Synology finally patches OpenSSL bugs in Trevor's NAS
Don't look, Snowden: Security biz chases Tails with zero-day flaws alert
Exodus vows not to sell secrets of whistleblower's favorite OS
Roll out the welcome mat to hackers and crackers
Security chap pens guide to bug bounty programs that won't fail like Yahoo!'s
HIDDEN packet sniffer spy tech in MILLIONS of iPhones, iPads – expert
Don't panic though – Apple's backdoor is not wide open to all, guru tells us
prev story

Whitepapers

Top three mobile application threats
Prevent sensitive data leakage over insecure channels or stolen mobile devices.
Implementing global e-invoicing with guaranteed legal certainty
Explaining the role local tax compliance plays in successful supply chain management and e-business and how leading global brands are addressing this.
Boost IT visibility and business value
How building a great service catalog relieves pressure points and demonstrates the value of IT service management.
Designing a Defense for Mobile Applications
Learn about the various considerations for defending mobile applications - from the application architecture itself to the myriad testing technologies.
Build a business case: developing custom apps
Learn how to maximize the value of custom applications by accelerating and simplifying their development.