JCSI: A tool for checking secure information flow in java card applications
M Avvenuti, C Bernardeschi, N De Francesco… - Journal of Systems and …, 2012 - Elsevier
This paper describes a tool for checking secure information flow in Java Card applications.
The tool performs a static analysis of Java Card CAP files and includes a CAP viewer. The …
The tool performs a static analysis of Java Card CAP files and includes a CAP viewer. The …
Securing class initialization in Java-like languages
W Rafnsson, K Nakata… - IEEE Transactions on …, 2012 - ieeexplore.ieee.org
Language-based information-flow security is concerned with specifying and enforcing
security policies for information flow via language constructs. Although much progress has …
security policies for information flow via language constructs. Although much progress has …
[PDF][PDF] Tracking Information Flows in Interactive and Object-Oriented Programs
W Rafnsson - 2012 - Citeseer
This thesis improves the current state of the art on information-flow control of interactive and
object-oriented programs, respectively. Given a policy which specifies which information …
object-oriented programs, respectively. Given a policy which specifies which information …
Load Time Code Validation for Mobile Phone Java Cards
QH Nguyen, B Chetali, F Massacci, O Gadyatskaya - 2012 - iris.unitn.it
Abstract Over-the-air (OTA) application installation and updates have become a common
experience for many end-users of mobile phones. In contrast, OTA updates for applications …
experience for many end-users of mobile phones. In contrast, OTA updates for applications …