No abstract

Significant development of the information society in recent years creates increasing pressure on network security. One of the possibilities how to increase network security is the deployment of the Intrusion Detection System in computer network -IDS. This paper deals with formal description of the IDS behavior, through non-traditional resource-oriented logical system. For description of the IDS via logical systems, the Coalgebraic Modal Linear logic for IDS has been introduced, by which the behavioral effects of the IDS has been expressed by formula after simulated ARP spoofing attack in real laboratory environment.

No abstract

No abstract

Displaying 3D-4D representations of brain vascular anomalies based on multi-modal acquisitions on a 3D autostereoscopic display is beneficial for the workflow and efficiency of interventional radiologists. The implemented software tool fulfills the premise of applicability of an open-source platform for more advanced, multi-modal visualization and processing of brain vascular structures for image-guided therapeutic interventions.