Εκτέλεση κρυπτογραφημένου λογισμικού σε έξυπνες κάρτες (καταργήθηκε 2007)

Οι έξυπνες κάρτες επιτρέπουν την εκτέλεση λογισμικού σε περιβάλλον που δυσκολεύει σημαντικά την πρόσβαση σε μη εξουσιοδοτημένους τρίτους. Σύγχρονες έξυπνες κάρτες επιτρέπουν την εκτέλεση προγραμμάτων γραμμένων σε Java. Στόχος της εργασίας είναι η προσαρμογή προγραμμάτων Java που εκτελούνται σε έναν προσωπικό υπολογιστή έτσι ώστε μέρος τους να εκτελείται κρυπτογραφημένα στο περιβάλλον της έξυπνης κάρτας. Σημασία στο εγχείρημα αυτό έχουν η αυτοματοποίηση της διαδικασίας, η ασφάλεια και η απόδοση.

Βιβλιογραφία

C. Lambrinoudakis. Smart card technology for deploying a secure information management framework. Information Management and Computer Security, 8(4):173183, May 2000. (doi:10.1108/09685220010344925)
Diomidis Spinellis. Reflection as a mechanism for software integrity verification. ACM Transactions on Information and System Security, 3(1):51–62, February 2000. (doi:10.1145/353323.353383)
Mike Jochen, Lisa Marvel, and Lori Pollock. A framework for tamper detection marking of mobile applications. In International Symposium on Software Reliability Engineering (ISSRE), November 2003.
Mike Jochen, Lori Pollock, and Lisa Marvel. Tamper detection marking for object files. In Military Communications Conference, MILCOM, pages 747751, October 2003.