Feeds

Confidentiality Claws

A better way of security assessment

  • alert
  • submit to reddit

Next gen security for virtualised datacentres

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 essential guide to IT transformation

More from The Register

next story
Goog says patch⁵⁰ your Chrome
64-bit browser loads cat vids FIFTEEN PERCENT faster!
Chinese hackers spied on investigators of Flight MH370 - report
Classified data on flight's disappearance pinched
NIST to sysadmins: clean up your SSH mess
Too many keys, too badly managed
Scratched PC-dispatch patch patched, hatched in batch rematch
Windows security update fixed after triggering blue screens (and screams) of death
Researchers camouflage haxxor traps with fake application traffic
Honeypots sweetened to resemble actual workloads, complete with 'secure' logins
Attack flogged through shiny-clicky social media buttons
66,000 users popped by malicious Flash fudging add-on
prev story

Whitepapers

Top 10 endpoint backup mistakes
Avoid the ten endpoint backup mistakes to ensure that your critical corporate data is protected and end user productivity is improved.
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.
Backing up distributed data
Eliminating the redundant use of bandwidth and storage capacity and application consolidation in the modern data center.
The essential guide to IT transformation
ServiceNow discusses three IT transformations that can help CIOs automate IT services to transform IT and the enterprise
Next gen security for virtualised datacentres
Legacy security solutions are inefficient due to the architectural differences between physical and virtual environments.