Nikolay Shilov. CSEDays 3LiloSEAThe document discusses combining branching time logic with logics of knowledge for reasoning about multi-agent systems. It proposes an update and abstraction algorithm for model checking Computational Tree Logic with Knowledge (Act-CTL-K) in perfect recall synchronous settings. The key points are:
1) The algorithm transforms Act-CTL-K formulas of bounded knowledge depth k into Act-CTL, using k-trees and knowledge update functions to represent the original environment.
2) A k-tree is a finite tree of height k that represents the knowledge of agents. Knowledge update functions are defined to transform k-trees after actions.
3) The resulting model checking algorithm solves Act-CTL on the transformed k-trees,
Nikolay Shilov. CSEDays 3LiloSEAThe document discusses combining branching time logic with logics of knowledge for reasoning about multi-agent systems. It proposes an update and abstraction algorithm for model checking Computational Tree Logic with Knowledge (Act-CTL-K) in perfect recall synchronous settings. The key points are:
1) The algorithm transforms Act-CTL-K formulas of bounded knowledge depth k into Act-CTL, using k-trees and knowledge update functions to represent the original environment.
2) A k-tree is a finite tree of height k that represents the knowledge of agents. Knowledge update functions are defined to transform k-trees after actions.
3) The resulting model checking algorithm solves Act-CTL on the transformed k-trees,
1. РАСПРОСТРАНЕННЫЕ
ВИДЫ
МОШЕННИЧЕСКИХ АТАК
Александр Тиморин. CSEDays. Theory 2011
2. РАСПРОСТРАНЕННЫЕ ВИДЫ МОШЕННИЧЕСКИХ АТАК
Александр Тиморин
• Математико-механический факультет, УрГУ
• Naumen: Python, Firebird, Zope
• УралСвязьИнформ: Oracle, IBM AIX, IBM
WebSphere
• Orange Book Security: аудит информационной
безопасности, предотвращение мошеннических
атак
security.orange-book.ru
security@orange-book.ru
Александр Тиморин. CSEDays. Theory 2011
3. РАСПРОСТРАНЕННЫЕ ВИДЫ МОШЕННИЧЕСКИХ АТАК
• CARDING
• SKIMMING
• PHISHING
• VISHING
• SMISHING
• PHARMING
ЦЕЛЬ – ПОЛУЧЕНИЕ ПРЯМОЙ ИЛИ
КОСВЕННОЙ ПРИБЫЛИ
Александр Тиморин. CSEDays. Theory 2011
4. РАСПРОСТРАНЕННЫЕ ВИДЫ МОШЕННИЧЕСКИХ АТАК
CARDING
МОШЕННИЧЕСТВО (FRAUD) С ИСПОЛЬЗОВАНИЕМ
БАНКОВСКИХ КАРТ, СЧЕТОВ, КРЕДИТНЫХ
ОРГАНИЗАЦИЙ, ПЛАТЕЖНЫХ СИСТЕМ
Александр Тиморин. CSEDays. Theory 2011
5. РАСПРОСТРАНЕННЫЕ ВИДЫ МОШЕННИЧЕСКИХ АТАК
SKIMMING
от англ. «skim» - скользить, бегло прочитывать
ЦЕЛЬ – ПОЛУЧИТЬ ДАМП КАРТЫ И НА ЕГО
ОСНОВЕ ИЗГОТОВИТЬ ЕЕ ДУБЛИКАТ
Александр Тиморин. CSEDays. Theory 2011
6. РАСПРОСТРАНЕННЫЕ ВИДЫ МОШЕННИЧЕСКИХ АТАК
PHISHING
от англ. «fishing» - рыбная ловля, выуживание
ЦЕЛЬ – ПОЛУЧЕНИЕ КОНФИДЕНЦИАЛЬНЫХ
ДАННЫХ ПОЛЬЗОВАТЕЛЯ (ЛОГИНЫ, ПАРОЛИ,
НОМЕРА СЧЕТОВ, КАРТ И Т.Д.)
Александр Тиморин. CSEDays. Theory 2011
7. РАСПРОСТРАНЕННЫЕ ВИДЫ МОШЕННИЧЕСКИХ АТАК
VISHING
voice + phishing
ЦЕЛЬ – ВВОД ПОЛЬЗОВАТЕЛЕМ КОНФИДЕНЦИАЛЬНЫХ
ДАННЫХ ПОСРЕДСТВОМ ТЕЛЕФОНА В ТОНАЛЬНОМ
РЕЖИМЕ
Александр Тиморин. CSEDays. Theory 2011
8. РАСПРОСТРАНЕННЫЕ ВИДЫ МОШЕННИЧЕСКИХ АТАК
SMISHING
SMS + PHISHING
ЦЕЛЬ – ПОСЛЕ ПОЛУЧЕНИЯ СООБЩЕНИЯ ОТ ИМЕНИ БАНКА
ПОЛЬЗОВАТЕЛЕМ ПРИНУДИТЬ ПОСЛЕДНЕГО ПОЗВОНИТЬ ПО
ОПРЕДЕЛЕННОМУ НОМЕРУ, ЗАЙТИ НА ОПРЕДЕЛЕННЫЙ САЙТ,
УСТАНОВИТЬ «БАНКОВСКОЕ» ПО
Александр Тиморин. CSEDays. Theory 2011
9. РАСПРОСТРАНЕННЫЕ ВИДЫ МОШЕННИЧЕСКИХ АТАК
PHARMING
игра слов «phishing» и «farming»
ЦЕЛЬ – СКРЫТНОЕ ПЕРЕНАПРАВЛЕНИЕ
ПОЛЬЗОВАТЕЛЯ НА ПОДДЕЛЬНЫЙ САЙТ
Александр Тиморин. CSEDays. Theory 2011
10. РАСПРОСТРАНЕННЫЕ ВИДЫ МОШЕННИЧЕСКИХ АТАК
ИНТЕГРАЦИЯ ПЛАТЕЖНЫХ СИСТЕМ И
МОБИЛЬНЫХ ТЕХНОЛОГИЙ – БУДУЩЕЕ
МОШЕННИЧЕСТКИХ АТАК
БУДЬТЕ БДИТЕЛЬНЫ!
СПАСИБО ЗА ВНИМАНИЕ!
Александр Тиморин. CSEDays. Theory 2011