چکیده فارسی :

توسعه سیستم های امنیتی-بحرانی دشوار است و نمونه های برجسته بسیاری از نقاط ضعف امنیتی در عمل آشکار شده اند. به خصوص اینکه تاکنون تحقیقات کمی در حوزه طراحی منطقی معماریهای ایمن به انجام رسیده است که ضرورتا برای توسعه سیستمهای ایمن به نحوی قابل اطمینان و کارا مورد نیاز است. ما چشم اندازی درباره توسعه UML بدست می دهیم (UMLsec نامیده می شود) که اجازه بیان اطلاعات مرتبط با امنیت را در نمودارهای شرح مشخصات طراحی معماری می دهد. ما بنیانهای الگوهای طراحی معماری ایمن را تعریف می کنیم. ما ابزار پشتیبانی ای را ارایه می کنیم که برای رویکرد معماری ایمن UMLsec توسعه یافته است.

چکیده انگلیسی‌ :

Developing security-critical systems is difficult and there are many well-known examples of security weaknesses exploited in practice. In particular, so far little research has been performed on the soundly based design of secure architectures, which would be urgently needed to develop secure systems reliably and efficiently. In this abstract, we sketch some research on a sound methodology supporting secure architecture design. We give an overview over an extension of UML, called UMLsec, that allows expressing security-relevant information within the diagrams in an architectural design specification. We define foundations for secure architectural design patterns. We present tool-support which has been developed for the UMLsec secure architecture approach.
Keywords: Secure software engineering, secure architectures, security engineering, security verification, formal methods in security, security evaluation, security models, cryptographic protocols