You are here: silicon.com > Resources > White Papers > Software and Web Development > Software Development Tools > Java

Java White Papers

Object Oriented Verification Kernels for Secure Java Applications

Overview This paper presents an approach to the verification of large Java programs. The focus lies on programs that implement a distributed communicating system e.g. in an M-or E-Commerce scenario. When trying to verify such programs, thousands of Java classes with tens of thousands of lines of code would have to be taken into consideration. That is impossible. The paper introduces a technique that dramatically reduces the amount of source code that must be considered. Additionally, a suitable method for programming security critical systems is introduced. The reduction is achieved by extracting a verification kernel from the program, which is sufficient for proving the correctness of the relevant part.

Further White Paper Details
Publisher	University of Augsburg	File Format	PDF
Date Published	November 2006
Format	White Papers
Topics	Java, Object-Oriented, Application Development

Did you find this white paper useful? 5 out of 9 users found this white paper useful

Microsoft's Office and IE in critical security threat

The new bugs are buffer overruns for Gopher and for Active X controls, a problem in HTML directives displaying XML data, a bug in file downloads, a cross domain verification vulnerability, and a variant of cross-site scripting.

Channel:
Security Strategy

Peter Cochrane's Uncommon Sense: Science and belief

The business world would do well to learn from the kind of verification and peer group review that is central to science. However, at the leading edge of science, engineering and business we often find ourselves with a very limited scenario of...

Channel:
Comment & Analysis

IBM returns SCO's legal volley

The patents cover a data compression technique, a method of navigating among program menus that use options that are arranged in a graphical tree, a method for verifying that an electronic message was received and a method for monitoring computing...

Channel:
Law & Policy

Signed spam tries to fool filters

Sendmail's own spam program, Mailstream, wouldn't be fooled by the technique because it doesn't give better scores to signed email messages. Although open-source software errors are easier to find, it generally means that the programs are secured...

Channel:
The Spam Report

Zombies: There are too many of them, says McAfee

The technique allows an attacker with special equipment to connect to a Bluetooth handset without authorisation. New York attorney general Eliot Spitzer filed suit against web marketer Intermix Media in April, charging it with being a source of...

Channel:
Malware
Tags:
zombies,
spam,
mcafee

Peter Cochrane's Blog: Bordering on stupidity

V is for Verification The long lines of people waiting for a visual inspection a page at a time will still be there. From the outset it seems all ePassport programs to date have been rushed through in some kind of blind panic.

Live Webcast: Telecoms 2.0 - Where is telecoms heading?

In this webcast, our panel of experts will review where we are with next generation telecoms in the UK, working through the concept of 'Telecoms 2.0': - Realising the potential of Next Generation Networks - why it isn't just about the technology? - What attributes should firms be looking for in their telco partner? - Is the relationship between telco provider and customer changing? - What things need to happen to make next generation services a reality? - You say you want the supplier to change. Do you want to change too? - What is Telecoms 2.0?

Publisher:
ZDNet UK

Telecom 2.0: Mind over matter

ntl:Telewest Business believes that the role of the telco is evolving. Gone are the days when it was enough to simply focus on circuits and minutes, customers now need a far higher degree of interaction and look for suppliers who will talk business solutions with them.

Publisher:
ntl:Telewest Business

IBM Information Server Change Data Capture

In today's fast-paced world, access to real-time data has never been more important. To be successful, organizations need to be able to report and analyze corporate data quickly and easily, regardless of what applications created the data, what platform they're running on, or what database they're stored in.

Publisher:
IBM

An examination of server consolidation: the trends that can drive efficiencies and help businesses gain a competitive edge

This white paper provides a starting point for organizations contemplating server consolidation. It includes an overview of server consolidation concepts and techniques and provides guidance on methodologies. It also looks at the potential cost savings associated with server consolidation and offers information on how organizations can sustain the advantage they have gained by consolidating their servers.

Publisher:
IBM

Also on silicon.com

Site Navigation:

Java White Papers

Object Oriented Verification Kernels for Secure Java Applications

Quick Sitemap Links:

About Us

Search

Blogs

Verticals

Advertising Features

CNET Networks in Europe

CNET Networks in the United States

CNET Networks in Asia Pacific