2 ms·
Don't think you'd get the codebase for it, but I know this is built in SWI prolog https://www.securitease.com/ https://www.securitease.com/ . Looks like it was
by stunami 4y ago
Don't think you'd get the codebase for it, but I know this is built in SWI prolog https://www.securitease.com/ https://www.securitease.com/ . Looks like it was presented a decade ago https://dtai.cs.kuleuven.be/CHR/files/Elston_SecuritEase.pdf https://dtai.cs.kuleuven.be/CHR/files/Elston_SecuritEase.pdf