Abstract Moderna informationssystem blir allt större och består av ett samspel mellan tekniska komponenter och sociala aktörer (människor och organisationer). Ett sådant samspel hotar säkerheten i det övergripande systemet och kräver kontrolltekniker som gör det möjligt att fastställa överensstämmelse med säkerhetspolitiken. Befintliga verifieringsramar har antingen en begränsad expressivitet som hindrar specifikationen av verkliga krav eller förlitar sig på formella språk som är svåra att använda för de flesta analytiker. I detta dokument övervinner vi de begränsningar som finns i befintliga strategier genom att presentera SecBPMN-ramen. Vårt förslag omfattar: (1) SecBPMN-ml-modellspråket, en säkerhetsorienterad utökning av BPMN för att specificera sammansatta informationssystem, (2) SecBPMN-Q-sökspråket för att representera säkerhetspolicyer, och (3) en frågemotor som gör det möjligt att kontrollera SecBPMN-Q-policyer mot SecBPMN-ml-specifikationer. Vi utvärderar vår strategi genom att studera dess begriplighet och upplevd komplexitet med experter, kör skalbarhetsanalys av frågemotorn, och genom en tillämpning på en stor fallstudie om flygledningstjänst.
Salnitri m.fl. REF utvecklar modellspråket Secure BPMN (SecBPMN) som utökar BPMN med säkerhetsanteckningar.
Designing secure business processes with SecBPMN
{'venue': 'Software & Systems Modeling', 'journal': 'Software & Systems Modeling', 'mag_field_of_study': ['Computer Science']}