محبوبترینها
نمایش جنگ دینامیت شو در تهران [از بیوگرافی میلاد صالح پور تا خرید بلیط]
9 روش جرم گیری ماشین لباسشویی سامسونگ برای از بین بردن بوی بد
ساندویچ پانل: بهترین گزینه برای ساخت و ساز سریع
خرید بیمه، استعلام و مقایسه انواع بیمه درمان ✅?
پروازهای مشهد به دبی چه زمانی ارزان می‌شوند؟
تجربه غذاهای فرانسوی در قلب پاریس بهترین رستوران‌ها و کافه‌ها
دلایل زنگ زدن فلزات و روش های جلوگیری از آن
خرید بلیط چارتر هواپیمایی ماهان _ ماهان گشت
سیگنال در ترید چیست؟ بررسی انواع سیگنال در ترید
بهترین هدیه تولد برای متولدین زمستان: هدیه‌های کاربردی برای روزهای سرد
در خرید پارچه برزنتی به چه نکاتی باید توجه کنیم؟
صفحه اول
آرشیو مطالب
ورود/عضویت
هواشناسی
قیمت طلا سکه و ارز
قیمت خودرو
مطالب در سایت شما
تبادل لینک
ارتباط با ما
مطالب سایت سرگرمی سبک زندگی سینما و تلویزیون فرهنگ و هنر پزشکی و سلامت اجتماع و خانواده تصویری دین و اندیشه ورزش اقتصادی سیاسی حوادث علم و فناوری سایتهای دانلود گوناگون
مطالب سایت سرگرمی سبک زندگی سینما و تلویزیون فرهنگ و هنر پزشکی و سلامت اجتماع و خانواده تصویری دین و اندیشه ورزش اقتصادی سیاسی حوادث علم و فناوری سایتهای دانلود گوناگون
آمار وبسایت
تعداد کل بازدیدها :
1826586933
به همت پژوهشگران دانشگاه تبريز روش جديدي براي كنترل امنيت سيستمهاي رايانه ای ارائه -
واضح آرشیو وب فارسی:سایت ریسک: به همت پژوهشگران دانشگاه تبريز روش جديدي براي كنترل امنيت سيستمهاي رايانه ای ارائه PhonieX 19 فروردين 1388, 14:28پژوهشگران علوم كامپيوتر دانشگاه تبريز با ارائه روشي صوري براي توصيف و درست يابي تركيبي سيستمهاي نرم افزاري مبتني بر مولفه‌ها موفق به طراحي ابزاري شده‌اند كه به كارشناسان توسعه دهنده سيستمهاي نرم افزاري امكان مي‌دهد عملكرد يك سيستم بزرگ نرم افزاري را به صورت گرافيكي و بدون درگيري با معاني رياضي، توصيف كنند. به گزارش ایسنا دكتر جابر كريم پور، نخستين دانش‌آموخته دكتري علوم كامپيوتر دانشگاه تبريز كه در تحقيقات رساله‌اش موفق به ارائه اين روش شده است، با بيان اين مطلب خاطرنشان كرد: ابزار تهيه شده با توجه به معاني، مدل‌ها و اثبات هاي رياضي، درستي توصيف كارشناسان رايانه را از نظر خاصيت امنيت بررسي مي‌كند و اگر در مواردي خطايي باشد آن را گزارش مي‌كند تا كارشناسان نسبت به رفع آن اقدام كنند و اگر سيستم از نظر خواص امنيتي به طور كامل درستي يابي شود به اين معني است كه درستي آن سيستم قبل از پياده سازي، آزمايش و استفاده، به صورت رياضي ثابت شده است و نرم افزار حاصل از اين توصيف، درست كار خواهد كرد. به گفته وي، در اين ابزار نرم افزاري، يك سيستم بزرگ به صورت مجموعه‌اي از اجزا يا مولفه در نظر گرفته شده و براي هر مولفه و ارتباط آن با ساير مولفه‌ها و بالاخره براي عملكرد كل سيستم،يك مدل رياضي ساخته شده است. كريم پور افزود: اين مدل رياضي، اثبات درستي سيستم را به صورت تركيبي فراهم مي‌كند، به طوري كه از درستي اجزاي سيستم، درستي كل سيستم نتيجه مي‌شود. وي همچنين در جلسه دفاع از رساله خود با بيان اينكه برخي از سيستمهاي رايانه‌يي با جان و مال مردم سر و كار دارند، افزود: از جمله اين سيستم‌ها كه به آنها سيستمهاي بحراني نيز مي‌گويند، مي‌توان به كنترل كننده‌هاي نيروگاه‌هاي هسته‌يي و دستگاه‌هاي راديولوژي، اشاره كرد كه نقص و با توقف اين سيستم‌ها خسارت جبران ناپذيري به بار مي‌آورد. دانش آموخته دانشگاه تبريز با بيان اينكه يكي از روشهاي تضمين درستي اين سيستم‌ها، آزمايش آنان است افزود: به دليل بزرگي اين سيستم‌ها نمي‌شود تمامي جوانب آنها را آزمايش كرد و از طرفي آزمايش سيستمهاي حياتي مانند يك فضاپيما و يا يك دستگاه پزشكي امكان‌پذير نيست و بايستي قبل از پياده سازي از درستي عملكرد نرم افزار سيستم مطئمن باشيم كه بر اين اساس مساله اثبات درستي عملكرد نرم افزار اهميت بيشتري مي‌يابد. گفتني است، كريم پور رساله دكتري خود را با راهنمايي دكتر آياز عيسي زاده از اساتيد گروه علوم كامپيوتر دانشكده علوم رياضي دانشگاه تبريز و با كمك اساتيد مشاور دكتر ميركمال ميرنيا از گروه رياضي كاربردي دانشكده علوم رياضي دانشگاه تبريز و دكتر سيد حسن ميريان از دانشكده مهندسي كامپيوتر دانشگاه صنعتي شريف انجام داده است. به گفته وي، در راستاي تدوين اين رساله پژوهشي، 8 مقاله در مجلات خارجي چاپ و در كنفرانس‌هاي بين‌المللي ارايه شده است منبع ()
این صفحه را در گوگل محبوب کنید
[ارسال شده از: سایت ریسک]
[مشاهده در: www.ri3k.eu]
[تعداد بازديد از اين مطلب: 166]
-
گوناگون
پربازدیدترینها