Hello everyone, I am a student at University of Massachusetts Dartmouth and I worked on incorporating Multi-Level Security in Interorganizational workflows using PNML representation. I used WoPeD for modeling of IOWF. I also used Bell-LaPadula model for this project. Now I wish to verify and validate this system and also comment on its efficiency. I am looking into concepts like soundness, extended Petri nets and 1-consistency. Any suggestions or input regarding this would be sincerely appreciated.
Regards, Nirmal Gami ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
