Säkerhetskrav Engineering växer fram som en gren av Software Engineering, sporrad av insikten att säkerhet måste hanteras tidigt under kravfasen. Metoder på detta område är utmanande, eftersom de måste ta hänsyn till subtila föreställningar som förtroende (eller brist på sådant), delegering och tillstånd; de måste också modellera hela organisationer och inte bara system-till-vara. I vårt tidigare arbete introducerade vi Secure Tropos, ett formellt ramverk för modellering och analys av säkerhetskrav. Secure Tropos bygger på tre huvudbegrepp: ägande, förtroende och delegering. I det här dokumentet förfinar vi Secure Tropos genom att introducera begreppen åtminstone delegering och tillit till avrättning; också, allra mest delegering och förtroende för tillstånd. Vi föreslår också övervakning som ett mönster för säkerhetsdesign som syftar till att lösa problemet med bristande förtroende mellan aktörer. Dokumentet presenterar en semantik för dessa begrepp och beskriver ett implementerat formellt resonemang baserat på Datalog.
SI* REF är ett ramverk för SRE baserat på begreppen delegering och förtroende för utförande / tillstånd.
Modeling security requirements through ownership, permission and delegation
{'venue': "13th IEEE International Conference on Requirements Engineering (RE'05)", 'journal': "13th IEEE International Conference on Requirements Engineering (RE'05)", 'mag_field_of_study': ['Computer Science']}