Abstrakt. I detta dokument presenteras ett tillvägagångssätt som gör det möjligt för en smart kortutgivare att kontrollera att en ny applet säkert interagerar med redan nedladdade appletar. En säkerhetspolitik har definierats som associerar nivåer till applet attribut och metoder och definierar tillåtna flöden mellan nivåer. Vi föreslår en teknik baserad på modellkontroll för att verifiera att faktiska informationsflöden mellan appletar är tillåtna. Vi illustrerar vår strategi för appletar som är involverade i en elektronisk handväska som körs på Java aktiverade smartkort.
REF antar detta tillvägagångssätt och föreslår en teknik som bygger på en modellkontroll för kontroll av faktiska informationsflöden.
Checking Secure Interactions of Smart Card Applets: Extended Version
{'venue': 'Journal of Computer Security', 'journal': None, 'mag_field_of_study': ['Computer Science']}