Abstrakt. I detta dokument introduceras begrepp om resurspolicy för mobil kod som ska köras på smarta enheter, för att integrera med den korrekturbärande kodarkitekturen i projektet Mobile Resource Guarantees (MRG). Två policyformer används: garanterade policyer som innehåller bevis och målpolicyer som beskriver enhetens gränser. En garanterad politik uttrycks som en funktion av en metod insatsstorlek, som bestämmer en gräns för konsumtionen av vissa resurser. En målpolicy definieras av en konstant begränsning och inmatningsbegränsningar för en metod. En mottagare av mobilkod väljer om man ska använda metoder genom att jämföra en garanterad policy med målpolicyn. Eftersom den levererade koden kan använda metoder som införts på målmaskinen, kan garanterade policyer också tillhandahållas av plattformen; de visas symboliskt som antaganden i levererade bevis. Garanterade policyer medför beviskrav som måste fastställas från bevisintyget. Före bevis säkerställer en policykontroll att den garanterade politiken förfinar målpolicyn. Vårt policyformat ser till att detta steg går att genomföra och inte kräver bevis. Att leverera policys medlar därmed mellan godtyckliga målkrav och önskvärdheten att paketera kod och certifikat endast en gång.
I REF introducerar författarna resurspolicyer för mobil kod som ska köras på smarta enheter.
Mobile Resource Guarantees and Policies
{'venue': 'CASSIS', 'journal': None, 'mag_field_of_study': ['Computer Science']}