- Tytuł:
- A formal dynamic semantics of Java: an essential ingredient of Java security
- Autorzy:
-
Debbabi, M.
Tawbi, N.
Yahyaoui, H. - Data publikacji:
- 2002
- Wydawca:
- Instytut Łączności - Państwowy Instytut Badawczy
- Tematy:
-
bezpieczeństwo
kryptografia
security
static analysis
certifying compilers
Java
dynamic semantics
operational semantics
small step semantics - Dostawca treści:
- Biblioteka Nauki
Artykuł