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-consistent.jar. Його можна запустити в режимі онлайн за допомогою безкоштовного хостинг-провайдера OnWorks для робочих станцій.

Завантажте та запустіть онлайн цю програму під назвою SEPIA: Security-oriented 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 Framework, орієнтована на безпеку


Ad


ОПИС

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

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-Nets
  • Обхід мережі Петрі
  • Чистота Петрі уточнення
  • Досяжність утиліти
  • Розбір PNML


Аудиторія

Наука/Дослідження, Розширені кінцеві користувачі, Безпека



Мова програмування

Java



Це додаток, який також можна отримати з https://sourceforge.net/projects/sepiaframework/. Його розміщено в OnWorks, щоб його можна було запустити в Інтернеті найпростішим способом з однієї з наших безкоштовних операційних систем.


Безкоштовні сервери та робочі станції

Завантажте програми для Windows і Linux

Команди Linux

Ad




×
реклама
❤️Робіть покупки, бронюйте або купуйте тут — безкоштовно, це допомагає зберегти послуги безкоштовними.