Ito ang Linux app na pinangalanang SEPIA: Security-oriented PN Framework na ang pinakabagong release ay maaaring ma-download bilang sepia-0.1.5-consistent.jar. Maaari itong patakbuhin online sa libreng hosting provider na OnWorks para sa mga workstation.
I-download at patakbuhin online ang app na ito na pinangalanang SEPIA: Security-oriented PN Framework na may OnWorks nang libre.
Sundin ang mga tagubiling ito upang patakbuhin ang app na ito:
- 1. Na-download ang application na ito sa iyong PC.
- 2. Ipasok sa aming file manager https://www.onworks.net/myfiles.php?username=XXXXX kasama ang username na gusto mo.
- 3. I-upload ang application na ito sa naturang filemanager.
- 4. Simulan ang OnWorks Linux online o Windows online emulator o MACOS online emulator mula sa website na ito.
- 5. Mula sa OnWorks Linux OS na kasisimula mo pa lang, pumunta sa aming file manager https://www.onworks.net/myfiles.php?username=XXXX gamit ang username na gusto mo.
- 6. I-download ang application, i-install ito at patakbuhin ito.
SEPIA: PN Framework na nakatuon sa seguridad
Ad
DESCRIPTION
Ang SEPIA ay nagbibigay ng mga pagpapatupad para sa iba't ibang uri ng Petri nets. Kasama ang Place/Transition-nets, sinusuportahan nito ang Petri nets na may mga nakikilalang kulay ng token at tinutukoy ang mga colored na workflow net, kung saan ang mga may kulay na token ay binibigyang kahulugan bilang mga elemento ng data na ginagamit sa panahon ng pagpapatupad ng proseso. Upang suportahan ang pagsusuri ng daloy ng impormasyon ng mga proseso, tinukoy ng SEPIA ang tinatawag na IF-Nets, na iniakma para sa pagmomodelo ng daloy ng trabaho na nakatuon sa seguridad na nagbibigay-daan sa mga user na magtalaga ng mga antas ng seguridad (HIGH, LOW) sa mga transition, elemento ng data at mga tao/ahente na kalahok sa proseso pagbitay.Ang SEPIA ay binuo sa TOVAL (http://sourceforge.net/p/toval), JAGAL (http://sourceforge.net/p/jagal) at SEWOL (https://sourceforge.net/projects/jawl/). Para magamit ang SEPIA, tiyaking nasa build path ang mga library na ito.
Isinasama ng SEPIA ang Multi Schema Validator (https://msv.java.net/) at isorelax (http://iso-relax.sourceforge.net/)
Ang dokumentasyon ay matatagpuan sa ilalim http://doku.telematik.uni-freiburg.de/sepia.
Mga tampok
- Pagpapatupad ng P/T nets
- Pagpapatupad ng Colored Petri nets
- Pagpapatupad ng Colored Workflow nets
- Pagpapatupad ng IF-Nets
- Petri net traversal
- Petri net refinement
- Mga gamit na naaabot
- Pag-parse ng PNML
Audience
Agham/Pananaliksik, Mga Advanced na End User, Seguridad
Wika ng Programming
Java
Ito ay isang application na maaari ding kunin mula sa https://sourceforge.net/projects/sepiaframework/. Na-host ito sa OnWorks upang mapatakbo online sa pinakamadaling paraan mula sa isa sa aming mga libreng Operative System.
