![](/images/graphics-bg.png)
Language Based Information Routing Security : Policy Enforcement
المؤلفون المشاركون
Jianzhong, Li
Mtenzi, Fredrick
Oreku, George
المصدر
The International Arab Journal of Information Technology
العدد
المجلد 6، العدد 1 (31 يناير/كانون الثاني 2009)، ص ص. 91-98، 8ص.
الناشر
تاريخ النشر
2009-01-31
دولة النشر
الأردن
عدد الصفحات
8
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
Languages-based security promises to be a powerful tool with which provably secure routing applications may be developed.
Programs written in these languages enforce a strong policy of non-interference, which ensures that high-security data will not be observable on low-security channels.
The information routing security proposed aim to fill the gap between representation and enforcement by implementing and integrating the divers security services needed by policy.
Policy is enforced by the run-time compiler and executions based mechanism to information violating routing policy and regulation of security services.
Checking the routing requirements of explicit route achieves this result for statements involving explicit route.
Unfortunately, such classification is often expressed as an operation within a given program, rather than as part of a policy, making reasoning about the security implications of a policy more difficult.
We formalize our approach for a C++ like language and prove a modified form of our non-interference method.
We have implemented our approach as an extension to C and provide some of our experience using it to build a secure information routing.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Oreku, George& Jianzhong, Li& Mtenzi, Fredrick. 2009. Language Based Information Routing Security : Policy Enforcement. The International Arab Journal of Information Technology،Vol. 6, no. 1, pp.91-98.
https://search.emarefa.net/detail/BIM-10489
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Jianzhong, Li…[et al.]. Language Based Information Routing Security : Policy Enforcement. The International Arab Journal of Information Technology Vol. 6, no. 1 (Jan. 2009), pp.91-98.
https://search.emarefa.net/detail/BIM-10489
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Oreku, George& Jianzhong, Li& Mtenzi, Fredrick. Language Based Information Routing Security : Policy Enforcement. The International Arab Journal of Information Technology. 2009. Vol. 6, no. 1, pp.91-98.
https://search.emarefa.net/detail/BIM-10489
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references : p. 97-98
رقم السجل
BIM-10489
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)