Works citing this work

2 works

Work: Formal Models for Computer Security

1. Improvement of the scientific bases of creating means of automation of documentation of devices of railway automation and telemechanics

   Dilshod Baratov, Elmurod Astanaliev

   ArticleAdvanced Research in Systems and Signal ProcessingE3S Web of Conferences20236 citations

   ABIABI:AkademIndex/openalex/2026.other.148814

2. Security Analysis for Web Service Behaviors Based on Hierarchical Stochastic Game Model

   Junjie Lv, Yuanzhuo Wang, Jingyuan Li +2

   ArticleNetwork Security and Intrusion DetectionChinese Journal of Electronics20150 citations

   ABIABI:AkademIndex/openalex/2015.article.000393