Abstrakt. Smart kort webbserver ger ett modernt gränssnitt mellan smarta kort och den externa världen. Det är av största vikt att denna nya programvarukomponent inte äventyrar säkerheten för smartkortet. Detta dokument presenterar en formell modell av smartkort webbserver specifikation och bevis på dess säkerhetsegenskaper. Formaliseringen möjliggör en genomtänkt analys av specifikationen som har avslöjat flera tvetydigheter och potentiellt farliga beteenden. Vår formella modell är byggd med ett modulärt tillvägagångssätt på en modell av Java Card och Global Platform. Genom att bevisa säkerhetsegenskaperna visar vi att smartkortets webbserver bevarar säkerhetspolicyn för den övergripande modellen. Med andra ord införs ingen olaglig tillgång till kortresurserna (dvs. filsystem och applikationer). Dessutom tillhandahåller smartkortswebbservern ett sätt att hantera kortets innehåll på ett säkert sätt (dvs. uppdatering av resurser).
En modell av en speciell webbserver, utrustad med en fast uppsättning Java servlets, presenteras i REF.
A formal security model of a smart card web server
{'venue': 'CARDIS', 'journal': None, 'mag_field_of_study': ['Computer Science']}