استفاده از زبان LTL در تشخیص سوءاستفاده در سیستمهای تشخیص نفوذ

كليدواژه

زبان Linear Temporal Logic (LTL) , تشخیص سوءاستفاده , سیستم تشخیص نفوذ , سیستم اطلاعاتی فرایندمحور.

كشور

ايران

نويسنده

هانیه جلالی

كلمات كليدي

زبان Linear Temporal Logic (LTL)، تشخیص سوءاستفاده، سیستم تشخیص نفوذ، سیستم اطلاعاتی فرایندمحور.

لينک به اين مدرک