Advanced search ?

Object

Download

Title: A formal dynamic semantics of Java: an essential ingredient of Java security, Journal of Telecommunications and Information Technology, 2002, nr 4

Creator:

Yahyaoui, Hamdi ; Debbabi, Mourad ; Tawbi, Nadia

Date:

2002, nr 4

Resource Type:

artykuł

Description:

Security is becoming a major issue in our highly networked and computerized era. Malicious code detection is an essential step towards securing the execution of applications in a highly inter-connected context. In this paper, we present a formal definition of Java dynamic semantics. This semantics has been used as a basis to develop efficient, rigorous and provably correct static analysis tools and a certifying compiler aimed to detect and prevent the presence of malicious code in Java applications. We propose a small step operational semantics of a large subset for Java. The latter includes features that have not been completely addressed in the related work or addressed in another semantics style. We provide a fully-fledged semantic handling of exceptions, reachable statements, modifiers and class initialization.

Publisher:

Instytut Łączności - Państwowy Instytut Badawczy, Warszawa

Format:

application/pdf

Resource Identifier:

oai:bc.itl.waw.pl:679 ; ISSN 1509-4553, on-line: ISSN 1899-8852

DOI:

10.26636/jtit.2002.4.143

ISSN:

1509-4553

eISSN:

1899-8852

Source:

Journal of Telecommunications and Information Technology

Language:

ang

Rights Management:

Biblioteka Naukowa Instytutu Łączności

Subject and keywords:

security Java operational semantics static analysis certifying compilers dynamic semantics small step semantics

Object collections:

Last modified:

May 28, 2024

In our library since:

Apr 19, 2010

Number of object content hits:

214

All available object's versions:

https://bc.itl.waw.pl/publication/754

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

Edition name Date
Debbabi, Mourad; Tawbi, Nadia; Yahyaoui, Hamdi, A formal dynamic semantics of Java: an essential ingredient of Java security, Journal of Telecommunications and Information Technology, 2002 May 28, 2024

Objects Similar
L-SCANN: Logarithmic Subcentroid and Nearest Neighbor , Journal of Telecommunications and Information Technology, 2016, nr 4

Ahmad, Tohari Muchammad, Kharisma

2016, nr 4
artykuł
Introduction to Big Data Management Based on Agent Oriented Cyber Security, Journal of Telecommunications and Information Technology, 2017, nr 1

Raiyn, Jamal

2017, nr 1
czasopismo
Digital Fingerprinting Based on Quaternion Encryption Scheme for Gray-Tone Images, Journal of Telecommunications and Information Technology, 2014, nr 2

Rykaczewski, Roman Dzwonkowski, Mariusz Czaplewski, Bartosz

2014, nr 2
artykuł
Evaluation of the Cyber Security Provision System for Critical Infrastructure, Journal of Telecommunications and Information Technology, 2015, nr 4

Jarmakiewicz, Jacek Maślanka, Krzysztof Parobczak, Krzysztof

2015, nr 4
artykuł
Enhancing Security of Advanced Metering Infrastructure by Introducing Threshold Attendance Protocol , Journal of Telecommunications and Information Technology, 2014, nr 2

Konorski, Jerzy Makutunowicz, Artur

2014, nr 2
artykuł
The INTERSECTION Framework: Applied Security for Heterogeneous Networks, Journal of Telecommunications and Information Technology, 2011, nr 1

Romano, Simon Pietro Kowalczyk, Zbigniew Majewski, Mateusz Flizikowski, Adam Hołubowicz, Maria

2011, nr 1
artykuł
The tactical Intranet IP Secsecurity concept, Journal of Telecommunications and Information Technology, 2003, nr 4

Bednarczyk, Mariusz Jarmakiewicz, Jacek Krygier, Jarosław

2003, nr 4
artykuł
Quaternion Feistel Cipher with an In nite Key SpaceBased on Quaterni on Julia Sets, Journal of Telecommunications and Information Technology, 2015, nr 4

Rykaczewski, Roman Dzwonkowski, Mariusz

2015, nr 4
artykuł
More
×

Citation

Citation style:

Contact details

Address

Instytut Łączności – Państwowy Instytut Badawczy ul. Szachowa 1 04-894 Warszawa

Phone

(+48) 5128 696

E-Mail

biblioteka@il-pib.pl

Visit us!

This page uses 'cookies'. More information