Abstrakt. Säkerhetsproblem inom programvaruindustrin blir mer och mer utmanande på grund av skadliga attacker och som ett resultat, leder det till prospektering av olika säkerhetshål i programvarusystemet. För att säkra informationstillgångar i samband med alla programvarusystem planerar organisationer att designa systemet baserat på ett antal säkerhetsmönster, användbara för att bygga och testa nya säkerhetsmekanismer. Dessa mönster är inget annat än vissa designriktlinjer. Men de har vissa begränsningar när det gäller konsekvens och användbarhet. Därför kan dessa säkerhetsmönster ibland fungera som osäkra. I denna studie har ett försök gjorts att komponera säkerhetsmönster för den webbaserade applikationen. Därefter presenteras en formell modelleringsmetod för sammansättningen av säkerhetsmönster. För att maximera begripligheten används Unified Modeling Language (UML) notations för att representera strukturella och beteendemässiga aspekter av ett webbaserat system. Ett formellt modelleringsspråk, d.v.s. legering, har tagits i beaktande för analys av webbaserade säkerhetspapper. För att visa detta tillvägagångssätt beaktas en fallstudie, dvs. ett onlinebanksystem. En kvalitativ utvärdering görs för de identifierade säkerhetsmönstren mot de kritiska säkerhetsegenskaperna. I denna studie presenteras ett modellstyrt ramverk som hjälper till att automatisera processen för att analysera webbsäkerhetsmönster.
I Ref föreslogs en formell modelleringsmetod för att utarbeta säkerhetsmönster för webbaserade tillämpningar.
Formalization of web security patterns
{'venue': None, 'journal': 'INFOCOMP Journal of Computer Science', 'mag_field_of_study': ['Computer Science']}