Research output

  1. Formal analysis of XACML policies using SMT

    Research output: Contribution to journalArticleScientificpeer-review

  2. APD tool: Mining Anomalous Patterns from Event Logs

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. Subgraph mining for anomalous pattern discovery in event logs

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

View all (100) »

ID: 108785