3597

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

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

ايران

هانیه جلالی

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