11 search results - page 3 / 3 » High performance annotation-aware JVM for Java cards |
SPC
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...