I want to know which domain was translated from which domain.
(domain???  ->  domain_1)

And also want to know that which domain can not be translated to another
domain because that has no translation rule.
(domain_1 call process_1. but domain_2 can not translated to
process_1_domain because there is no explicit transition rule)

Is there some tools which can analyze domain translation ?

For example, like TOMOYO Linux tool:
http://tomoyo.sourceforge.jp/1.8/media/editpolicy-httpd-profile0.png

Thank you
Best regards

Reply via email to