이것은 SEPIA: 보안 지향 PN 프레임워크라는 Linux 앱으로, 최신 릴리스는 sepia-0.1.5-condependent.jar로 다운로드할 수 있습니다. 워크스테이션용 무료 호스팅 제공업체인 OnWorks에서 온라인으로 실행할 수 있습니다.
SEPIA: OnWorks가 포함된 보안 지향 PN 프레임워크라는 앱을 무료로 다운로드하여 온라인에서 실행하세요.
이 앱을 실행하려면 다음 지침을 따르세요.
- 1. 이 애플리케이션을 PC에 다운로드했습니다.
- 2. 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX에 원하는 사용자 이름을 입력합니다.
- 3. 이러한 파일 관리자에서 이 응용 프로그램을 업로드합니다.
- 4. 이 웹사이트에서 OnWorks Linux 온라인 또는 Windows 온라인 에뮬레이터 또는 MACOS 온라인 에뮬레이터를 시작합니다.
- 5. 방금 시작한 OnWorks Linux OS에서 원하는 사용자 이름으로 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX로 이동합니다.
- 6. 응용 프로그램을 다운로드하여 설치하고 실행합니다.
SEPIA: 보안 지향 PN 프레임워크
Ad
기술
SEPIA는 다양한 유형의 페트리네트에 대한 구현을 제공합니다. Place/Transition-nets와 함께 구별 가능한 토큰 색상으로 Petri net을 지원하고 컬러 토큰이 프로세스 실행 중에 사용되는 데이터 요소로 해석되는 컬러 워크플로우 넷을 정의합니다. 프로세스의 정보 흐름 분석을 지원하기 위해 SEPIA는 사용자가 프로세스에 참여하는 전환, 데이터 요소 및 사람/에이전트에 보안 수준(HIGH, LOW)을 할당할 수 있도록 하는 보안 지향 워크플로우 모델링에 맞춰진 소위 IF-Net을 정의합니다. 실행.SEPIA는 TOVAL(http://sourceforge.net/p/toval), JAGAL(http://sourceforge.net/p/jagal)와 세월호(https://sourceforge.net/projects/jawl/). SEPIA를 사용하려면 이러한 라이브러리가 빌드 경로에 있는지 확인하세요.
SEPIA에는 다중 스키마 유효성 검사기(https://msv.java.net/) 및 isorelax (http://iso-relax.sourceforge.net/)
문서는 다음에서 찾을 수 있습니다. http://doku.telematik.uni-freiburg.de/sepia.
기능
- P/T 네트 구현
- 유색 페트리네트 구현
- 컬러 워크플로우 넷 구현
- IF-Net 구현
- 페트리 넷 순회
- 페트리 넷 개선
- 접근성 유틸리티
- PNML 구문 분석
오디언스 (Audience)
과학/연구, 고급 최종 사용자, 보안
프로그래밍 언어
자바
이는 https://sourceforge.net/projects/sepiaframework/에서도 가져올 수 있는 애플리케이션입니다. 무료 운영 시스템 중 하나에서 가장 쉬운 방법으로 온라인으로 실행하기 위해 OnWorks에서 호스팅되었습니다.
