You are here: silicon.com > Resources > White Papers > Security > Intrusion - Tampering > Firewalls

Firewalls White Papers

A Prototype Tool for JavaCard Firewall Analysis

Tags:
firewalls

Overview JavaCard is a variant of the Java programming language specifically designed for use on Smart Cards. In order to support the secure execution of several different applets on a Smart Card, the JavaCard Virtual Machine implements a firewall that isolates applets from each other by preventing unwanted information sharing and communication between applets. This paper reports on a prototype tool that can statically verify that a JavaCard applet does not violate the firewall rules. Such a tool is useful for increasing confidence in the security of an applet. Furthermore, a developer can use the tool for guaranteeing in advance, i.e. before the applet is deployed, that it will not throw a security exception at an inopportune moment, thus leading to more robust and user-friendly applets.

Further White Paper Details
Publisher	Aalborg University	File Format	PDF
Date Published	November 2002
Format	White Papers
Topics	Firewalls, Network Security, Security Tools

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

Liberty, accessibility and security: A new French ideal

We need to develop the smart cards in France to encourage confidence and this can be done with the Meerkat system as it limits risk and stops fraud. She said: "There is still a problem with confidence.

Channel:
SOA/Web Services

UK smart card deadline set to 2004

UK retailers have to be smart card-compliant by the end of 2004 and consumers may end up footing the bill. All point-of-sale (POS) devices have to be integrated with a smart card reader which ensures better transaction security.

Channel:
Security Strategy

Blunkett's ID card plans key to e-government?

Home Secretary David Blunkett is being called upon to incorporate his national ID card proposals into wider strategy to boost the adoption of smart cards for authenticating use of e-government services.

Channel:
Law & Policy

Many UK retailers won't make smart card deadline

Smart cards are touted as being harder and more expensive to duplicate than magnetic-strip cards, so using them could cut down on fraud. In addition, the chip technology on smart cards allows their data to be changed and allows them to be used not...

Opinion: A bad case of worms

Last night she responded: "I'm really busy at the moment; no wonder my PC is not working properly. Of increasing concern to businesses are signs of a growing loss of confidence in the internet as a safe transactional medium.

Buy a burger with your mobile - the future of payments

One is fake cards, and the other is finding a card and using it without being authorised to do so. One trial set to begin before 2006 in the UK will be on Oyster card's 'e-money' scheme, which allows people to buy items such as newspapers or...

Virtualisation: Architectual Considerations and other Evaluation Criteria

In the past several years, server virtualisation technology has moved quickly and firmly into the IT mainstream. Of the many approaches to system virtualisation available in the market today, VMware's hypervisor architecture has gained the greatest market acceptance. This paper examines the architectural issues, solution support, and enterprise readiness required when deploying such a virtualisation solution.

Publisher:
EMC

Getting Started with Master Data Management

Master data management forms part of an overall enterprise governance program that aims to establish trusted data throughout the enterprise. This white paper from Mike Ferguson of Intelligent Business Strategies defines master data, examines why it is needed, and explores methodologies for implementing master data management.

Publisher:
DataFlux

Optimising Storage with Global File Virtualisation

This white paper will provide an overview on how Rainfinity Global File Virtualisation virtualises unstructured data environments and moves data -including active, open files-without disruption to users or applications. Rainfinity is the only enterprise-class file virtualisation solution, and delivers complete NAS optimisation across geterogeneous environments, such as NAS, CAS, and file servers.

Publisher:
EMC

Also on silicon.com

Site Navigation:

Firewalls White Papers

A Prototype Tool for JavaCard Firewall Analysis

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