Marcin Szpyrka

Learn More
BPMN is a leading visual notation for modeling business processes. Although there is many tools that allows for modeling using BPMN, they mostly do not support formal verification of models. The Alvis language was developed for mod-eling and verification of embedded systems. However, it is suitable for the modeling of any information systems with parallel(More)
The article describes the method of malware activities identification using ontology and rules. The method supports detection of malware at host level by observing its behavior. It sifts through hundred thousands of regular events and allows to identify suspicious ones. They are then passed on to the second building block responsible for malware tracking(More)