Policyn för säkerhet och tillgänglighet är mycket viktig i ett tillträdeskontrollsystem för att garantera säkerhet och framgång vid utförandet av en viss uppgift. Det kan dock uppstå konflikter mellan säkerhets- och tillgänglighetspolitiken på grund av deras motsatta inriktning. I detta dokument tar vi upp problemet med en konsekvent kontroll av säkerhets- och tillgänglighetspolitiken, särskilt när det gäller samexistensen mellan politiken för statisk åtskillnad (SoD) och politiken för tillgänglighet, som avgör om det finns en tillträdeskontrollstat som uppfyller alla dessa policyer. Vi presenterar kriterier för att fastställa överensstämmelse med ett antal specialfall, och visar att det allmänna fallet och partiella delfall av problemet är intractable (NP-hård) och i Polynomial Hierarchy NP NP. Vi utformar en algoritm för att effektivt lösa fall av icke-trivial storlek för de svåråtkomliga fall av problemet. Exemplet kör visar giltigheten av den föreslagna algoritmen. Utredningen kommer att hjälpa säkerhetstjänstemannen att ange rimliga riktlinjer för tillträdeskontroll när både säkerhets- och tillgänglighetspolicyerna existerar samtidigt.
Löjtnant m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m för m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m. I REF försöker man ta itu med problemet med konsekvent kontroll av säkerhet och tillgänglighet i samband med tillträdeskontroll.
Consistency Checking of Safety and Availability in Access Control
{'venue': 'IEICE Transactions', 'journal': 'IEICE Transactions', 'mag_field_of_study': ['Computer Science']}