Đây là ứng dụng Linux có tên SEPIA: PN Framework hướng bảo mật có bản phát hành mới nhất có thể được tải xuống dưới dạng sepia-0.1.5-consistent.jar. Nó có thể được chạy trực tuyến trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks dành cho máy trạm.
Tải xuống và chạy trực tuyến ứng dụng này có tên SEPIA: Khung PN hướng bảo mật với OnWorks miễn phí.
Làm theo các hướng dẫn sau để chạy ứng dụng này:
- 1. Đã tải ứng dụng này xuống PC của bạn.
- 2. Nhập vào trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 3. Tải lên ứng dụng này trong trình quản lý tệp như vậy.
- 4. Khởi động trình giả lập trực tuyến OnWorks Linux hoặc trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MACOS từ trang web này.
- 5. Từ Hệ điều hành OnWorks Linux mà bạn vừa khởi động, hãy truy cập trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 6. Tải xuống ứng dụng, cài đặt và chạy nó.
SEPIA: Khung PN hướng đến bảo mật
Ad
MÔ TẢ
SEPIA cung cấp triển khai cho nhiều loại lưới Petri khác nhau. Cùng với Place / Transition-nets, nó hỗ trợ các lưới Petri với các màu mã có thể phân biệt được và xác định các lưới quy trình làm việc có màu, trong đó các mã màu được hiểu là các phần tử dữ liệu được sử dụng trong quá trình thực thi. Để hỗ trợ phân tích luồng thông tin của các quy trình, SEPIA định nghĩa cái gọi là IF-Nets, được điều chỉnh cho mô hình quy trình làm việc theo định hướng bảo mật cho phép người dùng chỉ định các mức bảo mật (CAO, THẤP) cho quá trình chuyển đổi, phần tử dữ liệu và người / tác nhân tham gia vào quy trình chấp hành.SEPIA xây dựng dựa trên TOVAL (http://sourceforge.net/p/toval), JAGAL (http://sourceforge.net/p/jagal) và SEWOL (https://sourceforge.net/projects/jawl/). Để sử dụng SEPIA, hãy đảm bảo các thư viện này nằm trên đường dẫn xây dựng.
SEPIA bao quanh Trình xác thực nhiều giản đồ (https://msv.java.net/) và isorelax (http://iso-relax.sourceforge.net/)
Tài liệu có thể được tìm thấy dưới http://doku.telematik.uni-freiburg.de/sepia.
Tính năng
- Thực hiện mạng lưới P / T
- Thực hiện lưới Petri màu
- Thực hiện các lưới Quy trình làm việc có Màu
- Thực hiện IF-Nets
- Petri net đi ngang
- Tinh chế net Petri
- Các thông số về khả năng tiếp cận
- Phân tích cú pháp PNML
Khán giả
Khoa học / Nghiên cứu, Người dùng cuối nâng cao, Bảo mật
Ngôn ngữ lập trình
Java
Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/sepiaframework/. Nó đã được lưu trữ trên OnWorks để có thể chạy trực tuyến một cách dễ dàng nhất từ một trong những Hệ thống hoạt động miễn phí của chúng tôi.
