I detta dokument presenteras en ram för att bygga upp kontrakt om kompositionssäkerhet (CsC) på grundval av den säkerhetsfastighet som exponeras av atomkomponenten. Ramverket använder intelface struktur av komponenter för att bestämma CsC av programvarukomponenter. Ett aktivt gränssnitt ger komponenten en grund för resonemang och bedömning av en komponents lämplighet för att uppfylla vissa säkerhetskrav för en viss applikation. Baserat på den säkerhet i n f o m i o n som finns tillgänglig från komponentens inte ansikte, kan ett aktivt intelface motivera om kandidatkomponenten uppfyller säkerhetskraven för en planerad systemomfattande tillämpning. Alla säkerhetsglapp eller avvikelser mellan komponenterna kan identifieras av de deltagande komponenterna innan en faktisk sammansättning äger rum. Att avslöja säkerhetsegenskaperna hos programvarukomponenter kan vara grunden för ett förtroendeförhållande mellan komponenter, och den exponerade säkerheten kan påverka den underliggande säkerheten i inneslutningssystemet.
De säkerhetsegenskaper beskrivningar av de komponenter som bygger på säkerhetsbedömningsstandarder för informationsteknik föreslogs av Khan et al. Hoppa över det.
A framework for an active interface to characterise compositional security contracts of software components
{'venue': 'Proceedings 2001 Australian Software Engineering Conference', 'journal': 'Proceedings 2001 Australian Software Engineering Conference', 'mag_field_of_study': ['Computer Science']}