GoGPT Best VPN GoSearch

Значок OnWorks

SEPIA: загрузка ориентированной на безопасность PN Framework для Linux

Бесплатная загрузка SEPIA: ориентированное на безопасность приложение PN Framework Linux для работы в сети в Ubuntu онлайн, Fedora онлайн или Debian онлайн

Это приложение для Linux под названием SEPIA: Security-Oriented PN Framework, последний выпуск которого можно загрузить как sepia-0.1.5-Consolidated.jar. Его можно запустить онлайн в бесплатном хостинг-провайдере OnWorks для рабочих станций.

Загрузите и запустите онлайн это приложение под названием SEPIA: безопасная платформа PN Framework с OnWorks бесплатно.

Следуйте этим инструкциям, чтобы запустить это приложение:

- 1. Загрузил это приложение на свой компьютер.

- 2. Введите в нашем файловом менеджере https://www.onworks.net/myfiles.php?username=XXXXX с желаемым именем пользователя.

- 3. Загрузите это приложение в такой файловый менеджер.

- 4. Запустите онлайн-эмулятор OnWorks Linux или Windows или онлайн-эмулятор MACOS с этого веб-сайта.

- 5. В только что запущенной ОС OnWorks Linux перейдите в наш файловый менеджер https://www.onworks.net/myfiles.php?username=XXXXX с желаемым именем пользователя.

- 6. Скачайте приложение, установите его и запустите.

SEPIA: платформа PN, ориентированная на безопасность


Ad


ОПИСАНИЕ

SEPIA предоставляет реализации для различных типов сетей Петри. Наряду с сетями размещения / перехода он поддерживает сети Петри с различимыми цветами маркеров и определяет цветные сети рабочего процесса, где цветные маркеры интерпретируются как элементы данных, используемые во время выполнения процесса. Для поддержки анализа информационных потоков процессов SEPIA определяет так называемые IF-сети, предназначенные для моделирования рабочих процессов, ориентированных на безопасность, которые позволяют пользователям назначать уровни безопасности (ВЫСОКИЙ, НИЗКИЙ) переходам, элементам данных и лицам / агентам, участвующим в процессе. исполнение.

SEPIA основывается на TOVAL (http://sourceforge.net/p/toval), ДЖАГАЛ (http://sourceforge.net/p/jagal) и SEWOL (https://sourceforge.net/projects/jawl/). Чтобы использовать SEPIA, убедитесь, что эти библиотеки находятся в пути сборки.

SEPIA включает Средство проверки нескольких схем (https://msv.java.net/) и изорелакс (http://iso-relax.sourceforge.net/)

Документацию можно найти в разделе http://doku.telematik.uni-freiburg.de/sepia.

Особенности

  • Внедрение сетей P / T
  • Реализация цветных сетей Петри
  • Внедрение цветных сетей рабочего процесса
  • Внедрение IF-сетей
  • Обход сети Петри
  • Уточнение сети Петри
  • Утилиты достижимости
  • Парсинг PNML


Аудитория

Наука / Исследования, Продвинутые конечные пользователи, Безопасность



Язык программирования

Java



Это приложение также можно загрузить с https://sourceforge.net/projects/sepiaframework/. Он размещен в OnWorks, чтобы его можно было легко запускать в Интернете с помощью одной из наших бесплатных операционных систем.


Бесплатные серверы и рабочие станции

Скачать приложения для Windows и Linux

Команды Linux

Ad




×
Реклама
❤️Совершайте покупки, бронируйте или заказывайте здесь — никаких затрат, что помогает поддерживать бесплатность услуг.