Abstract-Security system arkitektur styr sammansättningen av komponenter i säkerhetssystem och interaktioner mellan dem. Den spelar en central roll i utformningen av programvarusäkerhetssystem som säkerställer säker tillgång till distribuerade resurser i nätverksansluten miljö. Framför allt måste systemens sammansättning konsekvent garantera att säkerhetspolitiken efterlevs. Det finns dock för närvarande inget rigoröst och systematiskt sätt att förutsäga och säkerställa sådana kritiska egenskaper i utformningen av säkerhetssystem. I detta dokument införs ett systematiskt tillvägagångssätt för att ta itu med problemet. Vi presenterar en metod för att modellera säkerhetssystemarkitekturen och för att kontrollera om erforderliga säkerhetsbegränsningar garanteras genom komponenternas sammansättning. Vi inför konceptet med säkerhetsbegränsningar, som formellt specificerar den allmänna formen av säkerhetspolitik som alla systemstrukturer måste genomföra. Analysen av arkitekturen drivs av spridningen av de globala säkerhetsbegränsningarna på komponenterna i en stegvis process. Vi visar att vår metodik är både flexibel och skalbar. Det hävdas att en sådan metod inte bara säkerställer integriteten hos kritiska tidiga beslut om utformning, utan också ger en ram för att vägleda korrekt genomförande av konstruktionen. Vi demonstrerar metoden genom en fallstudie där vi modellerar och analyserar arkitekturen hos Resource Access Decision (RAD) Facility, en OMG-standard för tillståndstjänst på applikationsnivå.
En metod för modellering av säkerhetssystemarkitekturer och för analys av dem utvecklas i REF, där begreppet säkerhetsbegränsningar också presenteras.
An approach for modeling and analysis of security system architectures
{'venue': 'IEEE Trans. Knowl. Data Eng.', 'journal': 'IEEE Trans. Knowl. Data Eng.', 'mag_field_of_study': ['Computer Science']}