Abstrakt. Säkerhetstypade språk tillämpar sekretess- eller integritetspolicyer efter typkontroll. I detta dokument undersöks vidarepasserande stil som ett sätt att bevisa att sådana språk upprätthåller non-interference och som ett första steg mot att förstå deras sammanställning. Vi presenterar en låg nivå, säker analys med högre ordning, tvingande funktioner. Vårt typsystem använder sig av beställda linjära fortsättningar.
Zdancewic och Myers REF presenterar ett säkerhetstypat CPS målspråk med högre ordning, tvingande funktioner där linjära fortsättningar behövs för att säkerställa icke-interferens.
Secure Information Flow and CPS
{'venue': 'In Proc. of the 10th European Symposium on Programming, volume 2028 of Lecture Notes in Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}