HabrNov 27, 2024

Методы моделирования атак на графах

Привет! С вами снова Даниил Нейман из отдела развития инициатив ИБ-сообществ. Это продолжение цикла статей о проблеме, с которой сталкивается специалист при анализе кибератак, — о сложности анализа без использования стандартизированных методов моделирования , используемых для разбиения и визуального представления этапов кибератаки. Ранее были рассмотрены методы моделирования атак на основе сценариев использования и темпоральные методы моделирования . А завершим цикл статей мы рассмотрением методов, основанных на графах . Отличительная черта этих методов — использование графов, где сущностями являются вершины графа, а связями между ними — ребра.

https://habr.com/ru/companies/pt/articles/861072/

#моделирование_данных #кибератаки #cybersecurity #графы #attack_graph #сеть_петри #petri_net #дерево_событий #дерево_решений #граф_атаки

Методы моделирования атак на графах

Привет! С вами снова Даниил Нейман из отдела развития инициатив ИБ-сообществ. Это продолжение цикла статей о проблеме, с которой сталкивается специалист при анализе кибератак, — о сложности анализа...

Хабр
nopeDec 2, 2023
Petri Nets: Properties, Analysis and Applications, Volume 77
(1989) Murata, T.
Url: http://dx.doi.org/10.1109/5.24143
#my_bibtex #__important #petri_net #review #survey
Petri nets: Properties, analysis and applications

Starts with a brief review of the history and the application areas considered in the literature. The author then proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis. In particular, one section is devoted to marked graphs, the concurrent system model most amenable to analysis. Introductory discussions on stochastic nets with their application to performance modeling, and on high-level nets with their application to logic programming, are provided. Also included are recent results on reachability criteria. Suggestions are provided for further reading on many subject areas of Petri nets.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>

nopeOct 21, 2023
Petri Nets
(1989) : Murata, T.
DOI: https://doi.org/10.1109/5.24143
#review #petri_net #survey #__important #my_bibtex
Petri nets: Properties, analysis and applications

Starts with a brief review of the history and the application areas considered in the literature. The author then proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis. In particular, one section is devoted to marked graphs, the concurrent system model most amenable to analysis. Introductory discussions on stochastic nets with their application to performance modeling, and on high-level nets with their application to logic programming, are provided. Also included are recent results on reachability criteria. Suggestions are provided for further reading on many subject areas of Petri nets.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>

nopeOct 20, 2023
Coordination Components for Collaborative Virtual Environments
(2001) : Raposo, Alberto B et al
DOI: https://doi.org/10.1016/S0097-8493(01)00156-X
#collaboration #CSCW #coordination #video_games #virtual_environment #petri_net #my_bibtex
nopeOct 6, 2023
Plot monitoring for interactive narrative games
(2007) : Delmas, Guylain Champagnat, Ro...
DOI: https://doi.org/10.1145/1255047.1255051
#games #adaptive_execution #petri_net #plot #narrative #verification #story #NLP #my_bibtex
Plot monitoring for interactive narrative games | Proceedings of the international conference on Advances in computer entertainment technology

ACM Conferences
nopeSep 21, 2023
Petri Nets
(1989) : Murata, T.
DOI: https://doi.org/10.1109/5.24143
#__important #survey #petri_net #review #my_bibtex
Petri nets: Properties, analysis and applications

Starts with a brief review of the history and the application areas considered in the literature. The author then proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis. In particular, one section is devoted to marked graphs, the concurrent system model most amenable to analysis. Introductory discussions on stochastic nets with their application to performance modeling, and on high-level nets with their application to logic programming, are provided. Also included are recent results on reachability criteria. Suggestions are provided for further reading on many subject areas of Petri nets.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>

nopeAug 11, 2023
Scenario analysis based on linear logic
(2005) : Collé, Frédéric Champagnat, Ro...
DOI: https://doi.org/10.1145/1178477.1178583
#scenario #petri_net #linear_logic #narrative #my_bibtex
Scenario analysis based on linear logic | Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology

ACM Other conferences
nopeJun 30, 2023
Scenario analysis based on linear logic
(2005) : Collé, Frédéric Champagnat, Ro...
DOI: https://doi.org/10.1145/1178477.1178583
#narrative #linear_logic #petri_net #scenario #my_bibtex
Scenario analysis based on linear logic | Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology

ACM Other conferences
nopeJun 6, 2023
Petri Nets
(1989) : Murata, T.
DOI: https://doi.org/10.1109/5.24143
#__important #review #survey #petri_net #my_bibtex
Petri nets: Properties, analysis and applications

Starts with a brief review of the history and the application areas considered in the literature. The author then proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis. In particular, one section is devoted to marked graphs, the concurrent system model most amenable to analysis. Introductory discussions on stochastic nets with their application to performance modeling, and on high-level nets with their application to logic programming, are provided. Also included are recent results on reachability criteria. Suggestions are provided for further reading on many subject areas of Petri nets.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>

nopeApr 19, 2023
A Concurrent Logical Framework
(2004) : Watkins, Kevin et al
DOI: https://doi.org/10.1007/978-3-540-24849-1_23
#lax_logic #computation #petri_net #concurrency #monads #type_theory #my_bibtex