Feeds

Confidentiality Claws

A better way of security assessment

  • alert
  • submit to reddit

Top 5 reasons to deploy VMware with Tegile

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

Beginner's guide to SSL certificates

Whitepapers

Why cloud backup?
Combining the latest advancements in disk-based backup with secure, integrated, cloud technologies offer organizations fast and assured recovery of their critical enterprise data.
A strategic approach to identity relationship management
ForgeRock commissioned Forrester to evaluate companies’ IAM practices and requirements when it comes to customer-facing scenarios versus employee-facing ones.
Security for virtualized datacentres
Legacy security solutions are inefficient due to the architectural differences between physical and virtual environments.
Reg Reader Research: SaaS based Email and Office Productivity Tools
Read this Reg reader report which provides advice and guidance for SMBs towards the use of SaaS based email and Office productivity tools.
New hybrid storage solutions
Tackling data challenges through emerging hybrid storage solutions that enable optimum database performance whilst managing costs and increasingly large data stores.