682 search results - page 8 / 137 » Java Implementation Verification Using Reverse Engineering |
DRM
2003
Springer
14 years 21 days ago
2003
Springer
Protection of digital data from unauthorized access is of paramount importance. In the past several years, much research has concentrated on protecting data from the standpoint of...
INFOCOM
1996
IEEE
13 years 11 months ago
1996
IEEE
The Transmission Control Protocol Internet Protocol TCP IP 1 suite is a very widely used technique that is employed to interconnect computing facilities in modern network environm...
CSMR
2000
IEEE
13 years 12 months ago
2000
IEEE
Shimba, a prototype reverse engineering environment, has been built to support the understanding of Java software. Shimba uses Rigi and SCED to analyze, visualize, and explore the...
IWPC
2007
IEEE
14 years 1 months ago
2007
IEEE
Java developers often use decompilers to aid reverse engineering and obfuscators to prevent it. Decompilers translate low-level class files to Java source and can produce “good...
CC
2008
Springer
13 years 9 months ago
2008
Springer
Java's annotation mechanism allows us to extend its type system with non-null types. However, checking such types cannot be done using the existing bytecode verification algor...