Browsing Τμήμα Πληροφορικής / Department of Computer Science by Author "Russo, A."

Now showing items 1-4 of 4

    • Article  

      ARNI: Abductive inference of complex regulatory network structures 

      Maimari, N.; Turliuc, C. -R; Broda, K.; Kakas, Antonis C.; Krams, R.; Russo, A. (2013)
      Physical network inference methods use a template of molecular interaction to infer biological networks from high throughput datasets. Current inference methods have limited applicability, relying on cause-effect pairs or ...
    • Book Chapter  

      Symbolic Representation and Inference of Regulatory Network Structures 

      Maimari, N.; Broda, K.; Kakas, Antonis C.; Krams, R.; Russo, A. (wiley, 2014)
      This chapter presents a general logic-based framework, called Abductive Regulatory Network Inference (ARNI), where it formalize the network extraction problem as an abductive inference problem. A general logical model is ...
    • Conference Object  

      Using argumentation logic for firewall configuration management 

      Bandara, A. K.; Kakas, Antonis C.; Lupu, E. C.; Russo, A. (2009)
      Firewalls remain the main perimeter security protection for corporate networks. However, network size and complexity make firewall configuration and maintenance notoriously difficult. Tools are needed to analyse firewall ...
    • Article  

      Using argumentation logic for firewall policy specification and analysis 

      Bandara, A. K.; Kakas, Antonis C.; Lupu, E. C.; Russo, A. (2006)
      Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. Given their widespread use, it is crucial that ...