Wyszukiwanie zaawansowane ?

Obiekt

Pobierz

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

Autor:

Yahyaoui, Hamdi ; Debbabi, Mourad ; Tawbi, Nadia

Data wydania:

2002, nr 4

Typ zasobu:

artykuł

Opis:

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.

Wydawca:

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

Format:

application/pdf

Identyfikator zasobu:

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

Źródło:

Journal of Telecommunications and Information Technology

Język:

ang

Prawa:

Biblioteka Naukowa Instytutu Łączności

Temat i słowa kluczowe:

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

Kolekcje, do których przypisany jest obiekt:

Data ostatniej modyfikacji:

25 lut 2026

Data dodania obiektu:

19 kwi 2010

Liczba wyświetleń treści obiektu:

256

Wszystkie dostępne wersje tego obiektu:

https://ribes-54.man.poznan.pl/publication/754

Wyświetl opis w formacie RDF:

RDF

Wyświetl opis w formacie OAI-PMH:

OAI-PMH

Nazwa wydania Data
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 25 lut 2026

Obiekty Podobne
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ł
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ł
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ł
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ł
CardS4: modal theorem proving on Java smart cards, Journal of Telecommunications and Information Technology, 2002, nr 4

Nguyen, Phuong The Gore, Rajeev Prabhakar

2002, nr 4
artykuł
Więcej
×

Cytowanie

Styl cytowania:

Dane kontaktowe

Adres

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

Telefon

(+48) 5128 696

E-Mail

biblioteka@il-pib.pl

Odwiedź nas!

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji