Tigran Avanesov

Available identifiers

zbMath Open avanesov.tigranMaRDI QIDQ507346

List of research outcomes

Publication	Date of Publication	Type
Intruder deducibility constraints with negation. Decidability and application to secured service compositions	2017-02-06	Paper
Satisfiability of general intruder constraints with and without a set constructor	2017-02-06	Paper
Cognition: a tool for reinforcing security in software defined networks	2015-03-03	Paper

Research outcomes over time

This page was built for person: Tigran Avanesov