ارایه یک زبان برنامه نویسی دوجهته امن برای ساختارهای درختی

استفاده از نماهای امنیتی یک روش کارا و منعطف برای کنترل دسترسی به داده های محرمانه است. بدین ترتیب که کاربران از طریقیک نمای امنیتی تنها قادر به مشاهده دادههایی هستند که مجوز دسترسی به آنها را دارند. اما این روش دارای یک مشکل بزرگاست: کابران قادر نیستند داده موجود در نما را به روزرسانی کنند. برای حل مسیله به روزرسانی نماها تعدادی از زبان های دوجهتهارایه شده است. برنامه ها در این نماها - که معمولا لنز نامیده می شوند - در دو جهت اجرا می شوند: در یک جهت منبع را به نمانگاشت می کنند و در جهت عکس منبع را مطابق نمای تغییریافته، به روز می کند. اما این زبان های دوجهته به اندازه کافی به ملاحظاتامنیتی نپرداخته اند.در این مقاله روشی ارایه شده است تا بتوان خط مشی محرمانگی و صحت داده بر روی ساختارهای درختی را با استفاده از نوع -های امنیتی به صورت صوری مشخص کرد. سپس معناشناخت لنزهای امن برای لنزهای درختی گسترش داده شده است که نتیجهآن یک زبان دوجهته با ساختهای اولیه امن است که شرایط عدم تداخل برای آنها به روش صوری اثبات شده است. از زبان مجهزبه این لنزهای امنیتی میتوان برای نوشتن برنامه های کاربردی امن برای تبدیلات دوجهته بین ساختارهای درختی بهره جست.

کلیدواژه ها:

زبان های دوجهته ، لنزهای امن ، ساختارهای درختی ، معناشناخت دلالتی