Question regarding the paper: "Mignis: A semantic based tool for firewall configuration"

[abc127845]

I just finished reading "Mignis: A semantic based tool for firewall configuration"
And I want know about "Mignis" technical proofs at reference 36 on this paper

I couldn't find the relevant information on this paper[36] on the Internet.

Where can I find relevant information about it?

Thanks a lot!

[repnzscasb]

Hi, thanks for noticing that, you can find the extended version here. I'll update the readme as well.

[abc127845]

Thank you for your reply. repnzscasb <notifications@github.com> 於 2019年4月1日 週一 下午6:25寫道：

…

Hi, thanks for noticing that, you can find the extended version here <https://www.math.tecnico.ulisboa.pt/~padao/projects/ComFormCrypt/report3/papers-submitted/SUB-Mignis.pdf>. I'll update the readme as well. — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#3 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AWn-egQyEhcEDUxGDdL-aTffzky9SfU_ks5vcd6WgaJpZM4cVPRx> .