Abstrakt. I det multiapplicativa sammanhanget med smartkort är en strikt kontroll av det underliggande informationsflödet mellan applikationer mycket önskvärt. I detta dokument föreslår vi en modell för att förbättra informationsflödet användbarhet i sådana system genom att begränsa overhead för att lägga till information flödessäkerhet till en Java Virtual Machine. Vi definierar ett domänspecifikt språk för att definiera säkerhetsprinciper som beskriver det tillåtna informationsflödet inuti kortet. Applikationerna är certifierade vid lastningstidpunkten med avseende på säkerhetspolicyer för informationsflöde. Vi illustrerar vår strategi för LojalitetCard, ett multiapplikativt smartkort med fyra lojalitetsapplikationer som delar trohetspoäng.
I REF Ghindici m.fl. föreslog ett domänspecifikt språk för säkerhetspolicyer som beskriver det tillåtna informationsflödet inuti kortet.
On Practical Information Flow Policies for Java-Enabled Multiapplication Smart Cards
{'venue': 'CARDIS', 'journal': None, 'mag_field_of_study': ['Computer Science']}