Abstrakt. Den senaste tidens säkerhetsproblem i samband med framtida inbyggda system gör efterlevnaden av säkerhetskraven till en av de mest kritiska faserna vid utformningen av sådana system. I detta dokument införs ett tillvägagångssätt för effektiv tillämpning av säkerhetskrav som bygger på argumentativ logik, särskilt resonemang om aktivering eller deaktivering av olika säkerhetsmekanismer under vissa funktionella och icke-funktionella krav. I detta dokument används argumentativ logik för att resonera om motivet bakom en dynamisk tillämpning av säkerhetspolitiken.
Genom arbetet i REF införs en strategi för efterlevnad av säkerhetskrav som bygger på argumentativ logik. Syftet är att motivera aktivering eller deaktivering av olika säkerhetsmekanismer under vissa funktionella och icke-funktionella krav.
Metric for Security Activities Assisted by Argumentative Logic
{'venue': 'DPM/SETOP/QASA', 'journal': None, 'mag_field_of_study': ['Computer Science']}