Hittills har den tabellbaserade SCR-metoden (Software C o s t Reduction) främst tillämpats på utvecklingen av inbyggda styrsystem. Detta dokument beskriver den framgångsrika tillämpningen av SCR-metoden, inklusive SCR*-verktygsetet, på en annan klass av system, en COMSEC (Communications Security) enhet som kallas CD som måste korrekt hantera krypterad kommunikation. Papperet sammanfattar hur verktygen i SCR* var u s e d för att validera och felsöka SCR specification och för att visa att specificationen satis es en uppsättning kritiska säkerhetsegenskaper. Utvecklingen av CD specification involverade många verktyg i SCR*: en s p eci katjon editor, en c onsistency checker, en simulator, TAME gränssnittet till theorem prover PVS, och olika andra analysverktyg. Vår erfarenhet visar att användning av SCR* verktygset för att utveckla högkvalitativa krav specificationer av måttligt komplexa COMSEC system är både praktiskt och billigt.
Arbetet i REF beskriver tillämpningen av verktyget SCR* som sätts på en kommunikationssäkerhetsenhet (comsec).
SCR: a practical approach to building a high assurance COMSEC system
{'venue': "Proceedings 15th Annual Computer Security Applications Conference (ACSAC'99)", 'journal': "Proceedings 15th Annual Computer Security Applications Conference (ACSAC'99)", 'mag_field_of_study': ['Computer Science']}