دانلود و نمایش مقالات مرتبط با مشخصات رسمی::صفحه 1
دانلود بهترین مقالات isi همراه با ترجمه فارسی 2

با سلام خدمت کاربران در صورتی که با خطای سیستم پرداخت بانکی مواجه شدید از طریق کارت به کارت (6037997535328901 بانک ملی ناصر خنجری ) مقاله خود را دریافت کنید (تا مشکل رفع گردد). 

نتیجه جستجو - مشخصات رسمی

تعداد مقالات یافته شده: 3
ردیف عنوان نوع
1 Formal specification and integration of distributed security policies
مشخصات رسمی و یکپارچه سازی سیاست های امنیتی توزیع شده-2017
We propose in this paper the Security Policy Language (SePL), which is a formal language for capturing and integrating distributed security policies. The syntax of SePL includes several operators for the integration of policies and it is endowed with a denotational semantics that is a generic semantics, i.e., which is independent of any evaluation environment. We prove the completeness of SePL with respect to set theory. Furthermore, we provide a formalization of a large subset of the eXtensible Access Control Markup Language (XACML), which is the well- known standard informal specification language of Web security policies. We also provide a semantics for XACML policy combining algorithms.& 2016 Elsevier Ltd. All rights reserved.
Keywords:Security policies | Formal languages | Semantics | Integration | XACML
مقاله انگلیسی
2 On the importance of truly ontological distinctions for standardizations: A case study in the domain of telecommunications
در مورد اهمیت تمایزات واقعا هستی شناختی برای استاندارد سازی: مطالعه موردی در حوزه ارتباطات از راه دور-2016
Standards are documents that aim to define norms and common understanding of a subject by a group of people. In order to accomplish this purpose, these documents must define its terms and concepts in a clear and unambiguous way. Standards can be written in two different ways: by informal specification (e.g. natural language) or formal specification (e.g. math-based languages or diagrammatic ones). Remarkable papers have already shown how well-founded ontology languages provide resources for the specification's author to better distinguish concepts and relations meanings, resulting in a better specification. This paper has the objective to expose the importance of truly ontological distinctions for standardizations. To achieve this objective, we evaluate a math-based formal specification, in Z notation, using a well-founded ontology language for a telecommunications case study, the ITU-T Recommendation G.805. The results confirm that truly ontological distinctions are essential for clear and unambiguous specifications.© 2015 Elsevier B.V. All rights reserved.
Keywords: Standard | Formal specification | Ontology | OntoUML | ITU-T | Recommendation G.805
مقاله انگلیسی
3 تجزیه و تحلیل خطای الزامات نرم افزار در سیستم های نهفته (تعبیه شده) بحرانی- ایمن
سال انتشار: 1993 - تعداد صفحات فایل pdf انگلیسی: 8 - تعداد صفحات فایل doc فارسی: 20
این مقاله علل ریشه ای خطاهای نرم افزارهای وابسته به امنیت(safety- related)را در سیستم هاینهفته بحرانی-ایمن تجزیه و تحلیل می کند. نتایج نشان می دهد که خطاهای نرم افزاری مشخص که به طور بالقوه مخاطره آمیز شناخته می‌شوند، مکانیزمهای خطای متفاوتی نسبت به خطاهای سیستمهای غیروابسته به امنیت دارند.مشخص شده است که خطاهای نرم افزارهایوابسته به امنیت معمولا بیشتر از اختلافهای بین مشخصات موردنیاز ثبت شده (1) اختلاف بیننیازمندیهای مشخصات ثبت شده و نیازمندیهای مورد نیاز برای عملکرد صحیح سیستمو (2) سوء تفاهم میان رابط نرم افزار با بقیه سیستم به وجود می آید.مقاله با استفاده از این نتایج برای شناسایی روش های که نیاز اشتباهات را می توان جلوگیری کرد مورد استفاده قرارگرفته و هدف آن کاهش خطاهای نرم افزارهای وابسته به امنیت و افزایشامنیت سیستم های نهفته مختلط است.
مقاله ترجمه شده
rss مقالات ترجمه شده rss مقالات انگلیسی rss کتاب های انگلیسی rss مقالات آموزشی
logo-samandehi
بازدید امروز: 1378 :::::::: بازدید دیروز: 0 :::::::: بازدید کل: 1378 :::::::: افراد آنلاین: 81