توصيف و استنتاج خطمشي هاي دسترسي و الزام بر مبناي منطق هنجارها در محيطهاي آگاه از معنا  Fulltext 

[ مرتضي اميني ] - دانشكده مهندسي كامپيوتر دانشگاه صنعتي شريف
[ رسول جليلي ] - دانشكده مهندسي كامپيوتر دانشگاه صنعتي شريف

خلاصه مقاله:

ظهور تكنولوژي معنايي در طي سا لهاي اخير و به دنبال آن پيدايش محي طهاي آگاه از معنا، راه را براي هوشمندي ماشي نها در تفسير و پردازش اطلاعات و تعامل بيشتر با يكديگر هموار نموده است. خصوصيات ويژه محي طهاي آگاه از معنا، نيا زمند يهاي امنيتي خاصي را به خصوص در مجازشماري تحميل م ينمايد. يك مدل مناسب براي محي طهاي آگاه از معنا بايد نيازمند يهايي همچون كنترل استنتاج بر اساس روابط معنايي در دامن ههاي مختلف عام لها، اشيا، و اَعمال، آگاهي از زمينه، برخورداري از معنايي صريح و دقيق، رفع تداخل، توصيف و مديريت توزي عشده خ طمشي را پوشش دهد. نياز به يك مدل امنيتي مبتني بر نيازمندي هاي مطروحه، حاوي ساختار نحوي، معناشناسي و قابليت استنتاج ما را به سمت استفاده از منطق در مدل امنيتي براي محي طهاي آگاه از معنا سوق م يدهد. بر اين اساس در اين مقاله نسخه اوليه يك مدل آگاه از معنا مبتني بر تركيبي از منطق هنجارها و منطق توصيفي پيشنهاد م يگردد. ب هكارگيري منطق هنجارها در اين مدل، امكان توصيف خ طمش يهاي كنترل دسترسي را در كنار خ طمش يهاي الزام فراهم م ينمايد و لذا مساله تداخل بين اين دودسته خ طمشي را نيز تحت كنترل در م يآورد.

مدل امنيتي، كنترل دسترسي، منطق هنجارها، كنترل دسترسي مبتني بر منطق