
--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.2296.Feb-05-0545PM-2015
2015-02-05 17:45:39.383939: Switch to General Graph
2015-02-05 17:45:39.384063: Import DTE spec file: /home/manw/workspace/DTEvisual/src/test/hwexample.dte
**************************************************
type generic_t,binaries_t,readable_t,writable_t,dte_t, log_t;

domain user_d = (/usr/bin/{sh,csh,tcsh}),

        (drx->binaries_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);

domain admin_d = (/usr/bin/{sh,csh,tcsh}),

        (drwx->binaries_t,writable_t,readable_t, dte_t),

        (cdrwx->generic_t);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->generic_t,dte_t,readable_t),

        (exec->admin_d,user_d);

domain daemon_d = (/sbin/init),

        (cdrw->writable_t),

        (dr->generic_t,readable_t),

        (drx->binaries_t),

        (auto->login_d, log_d);

domain log_d = (/usr/sbin/syslogd),

        (crwd->log_t),

        (rwd->writable_t),

        (rd->generic_t, readable_t);

initial_domain = daemon_d;

assign -r writable_t /tmp,/usr/var,/dev;

assign -r readable_t /etc;

assign -r -s binaries_t /usr/local/bin,/usr/sbin,/usr/libexec,/usr/bin,/sbin,/bin;

assign -r -s dte_t /dte;

assign -r generic_t /;

assign -r log_t /usr/var/log;

**************************************************
Succeeded!
2015-02-05 17:45:55.834248: Export DTE spec to file /home/manw/workspace/DTEvisual/src/test/1.dte
Succeeded!
--------------------------------------------------
2015-02-05 17:46:04.535694: New diagram
2015-02-05 17:46:06.564272: Insert Domain Node: Domain
2015-02-05 17:46:10.797637: Initial Domain changes to Domain Domain at /
Failed!
2015-02-05 17:46:30.086897: Insert Type Node: Type
Failed!

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.2403.Feb-05-0548PM-2015
2015-02-05 17:49:00.946072: Insert Domain Node: Domain
2015-02-05 17:49:04.243666: Initial Domain changes to Domain Domain at /
2015-02-05 17:49:08.628192: Insert Type Node: Type
2015-02-05 17:49:13.793717: Type Node Type changes assignment to /meow;

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.2476.Feb-05-0549PM-2015
Failed!
2015-02-05 17:50:10.640692: Switch to General Graph
2015-02-05 17:50:10.640870: Import DTE spec file: /home/manw/workspace/DTEvisual/src/test/hwexample.dte
**************************************************
type generic_t,binaries_t,readable_t,writable_t,dte_t, log_t;

domain user_d = (/usr/bin/{sh,csh,tcsh}),

        (drx->binaries_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);

domain admin_d = (/usr/bin/{sh,csh,tcsh}),

        (drwx->binaries_t,writable_t,readable_t, dte_t),

        (cdrwx->generic_t);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->generic_t,dte_t,readable_t),

        (exec->admin_d,user_d);

domain daemon_d = (/sbin/init),

        (cdrw->writable_t),

        (dr->generic_t,readable_t),

        (drx->binaries_t),

        (auto->login_d, log_d);

domain log_d = (/usr/sbin/syslogd),

        (crwd->log_t),

        (rwd->writable_t),

        (rd->generic_t, readable_t);

initial_domain = daemon_d;

assign -r writable_t /tmp,/usr/var,/dev;

assign -r readable_t /etc;

assign -r -s binaries_t /usr/local/bin,/usr/sbin,/usr/libexec,/usr/bin,/sbin,/bin;

assign -r -s dte_t /dte;

assign -r generic_t /;

assign -r log_t /usr/var/log;

**************************************************
Succeeded!
2015-02-05 17:50:13.564698: Switch to General Graph
2015-02-05 17:50:13.564803: Import DTE spec file: /home/manw/workspace/DTEvisual/src/test/firstExample.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t;

domain daemon_d = (  /sbin/init),

        (dr->generic_t,readable_t,dte_t),

        (drx->sysbin_t),

        (cdrw->writable_t),

        (auto->login_d);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->readable_t,generic_t,dte_t),

        (exec->user_d,admin_d);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t);

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->writable_t,sysbin_t,dte_t,readable_t),

        (cdrwx->generic_t);



initial_domain = daemon_d;



assign -r generic_t /;

assign -r readable_t /etc;

assign -r -s dte_t /dte;

assign -r writable_t /usr/var,/dev,/tmp;

assign -r -s sysbin_t /usr/bin,/usr/sysbin,/sbin,/bin;
**************************************************
Succeeded!
2015-02-05 17:50:16.132627: Switch to General Graph
2015-02-05 17:50:16.132804: Import DTE spec file: /home/manw/workspace/DTEvisual/src/test/approxRBAC.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t,projectA_t,projectB_t;

domain daemon_d = (  /sbin/init),

        (dr->generic_t,readable_t,dte_t),

        (drx->sysbin_t),

        (cdrw->writable_t),

        (auto->login_d);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->readable_t,generic_t,dte_t),

        (exec->user_d,admin_d,roleA_d,roleB_d,roleAB_d);

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->writable_t,sysbin_t,dte_t,readable_t),

        (cdrwx->generic_t);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t);

domain roleA_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectA_t);

domain roleB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t);

domain roleAB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t),

        (cdrw->projectA_t);

        

initial_domain = daemon_d;



assign -r generic_t	/;

assign -r projectA_t 	/projectA;

assign -r projectB_t 	/projectB;

assign -r readable_t 	/etc;

assign -r -s dte_t 	/dte;

assign -r writable_t 	/usr/var,/dev,/tmp;

assign -r -s sysbin_t 	/usr/bin,/usr/sysbin,/sbin,/bin;
**************************************************
Succeeded!
2015-02-05 17:50:18.729410: Switch to General Graph
2015-02-05 17:50:18.729523: Import DTE spec file: /home/manw/workspace/DTEvisual/src/test/logMod.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t,log_t;

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->dte_t,writable_t,readable_t,sysbin_t),

        (cdrwx->generic_t);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->readable_t,dte_t,generic_t),

        (exec->user_d,admin_d);

domain daemon_d = (/sbin/init),

        (dr->dte_t,readable_t,generic_t),

        (drx->sysbin_t),

        (cdrw->writable_t),

        (auto->log_d,login_d);

domain log_d = (/usr/bin/syslogd),

        (cdrw->log_t),

        (dr->readable_t,generic_t),

        (drw->writable_t);

initial_domain = daemon_d;

assign -r log_t /usr/var/log;

assign -r generic_t /;

assign -r readable_t /etc;

assign -r -s sysbin_t /usr/sysbin,/usr/bin,/bin,/sbin;

assign -r -s dte_t /dte;

assign  writable_t /usr/var/log/utmp,/usr/var/log/wtmp;

assign -r writable_t /usr/var,/tmp,/dev;

**************************************************
Succeeded!
2015-02-05 17:50:21.592660: Switch to General Graph
2015-02-05 17:50:21.592831: Import DTE spec file: /home/manw/workspace/DTEvisual/src/test/testexample.dte
**************************************************
type code, cScratch, tScratch, tTools, etc, unprot, dev, test, cTools;



domain initial = (/sbin/init),

         (rw->dev),

         (cdrwx->unprot),

         (auto->login);

domain login = (/usr/bin/login),

         (rw->dev),

         (dr->etc),

         (exec->general, testSup, tester, codeSup, coder);

domain testSup = (/usr/bin/csh),

         (r->test, dev, tScratch),

         (drwx->tTools);

domain tester = (/usr/bin/csh),

         (drx->tTools),

         (rw->test),

         (rw->tScratch, dev);

domain codeSup = (/usr/bin/csh),

         (rw->code, cScratch, dev),

         (drwx->cTools);

domain coder = (/usr/bin/csh),

         (drx->cTools),

         (r->code),

         (rw->dev, cScratch);

domain general = (/usr/bin/csh),

         (rw->dev),

         (cdrwx->unprot),

         (drwx->etc);

initial_domain = initial;

assign -r cScratch /devel/cScratch;

assign -r etc /etc;

assign -r test /devel/test;

assign -r code /devel/code;

assign -r tTools /devel/tTools;

assign -r dev /dev;

assign -r tScratch /devel/tScratch;

assign -r unprot /;

assign -r cTools /devel/cTools;

**************************************************
Succeeded!
2015-02-05 17:50:29.465577: Export DTE spec to file /home/manw/workspace/DTEvisual/src/test/1
Succeeded!
2015-02-05 17:50:38.846986: Save DTE vis file
--------------------------------------------------
--------------------------------------------------
2015-02-05 17:51:03.569544: New diagram
2015-02-05 17:51:05.601380: Insert Domain Node: Domain
2015-02-05 17:51:08.650577: Initial Domain changes to Domain Domain at /
2015-02-05 17:51:10.645693: Insert Type Node: Type
2015-02-05 17:51:14.156542: Type Node Type changes assignment to /meow;
2015-02-05 17:51:21.437888: Insert Edge from Domain Domain to Type Type with label r
Failed!
Failed!

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.2661.Feb-05-0554PM-2015
2015-02-05 17:54:27.890662: Insert Domain Node: Domain
2015-02-05 17:54:29.774622: Insert Type Node: Type
2015-02-05 17:54:33.385897: Type Node Type changes assignment to /meow;
2015-02-05 17:54:36.639414: Initial Domain changes to Domain Domain at /
2015-02-05 17:54:41.982301: Insert Edge from Domain Domain to Type Type with label r
Failed!
2015-02-05 17:54:55.749164: Save DTE vis file
--------------------------------------------------

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.2768.Feb-05-0602PM-2015
2015-02-05 18:03:05.342694: Insert Domain Node: Domain
2015-02-05 18:03:07.067548: Insert Type Node: Type
2015-02-05 18:03:10.065774: Initial Domain changes to Domain Domain at /
2015-02-05 18:03:15.849539: Type Node Type changes assignment to /m;
2015-02-05 18:03:23.048921: Insert Edge from Domain Domain to Type Type with label r
Failed!

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.2783.Feb-05-0603PM-2015
2015-02-05 18:03:52.396608: Insert Domain Node: Domain
2015-02-05 18:03:54.384314: Insert Type Node: Type
2015-02-05 18:03:58.236948: Insert Edge from Domain Domain to Type Type with label r
2015-02-05 18:04:03.571971: Type Node Type changes assignment to /m;
2015-02-05 18:04:07.511945: Initial Domain changes to Domain Domain at /
Failed!

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.3284.Feb-05-0608PM-2015
2015-02-05 18:08:30.746430: Insert Domain Node: Domain
2015-02-05 18:08:32.999141: Insert Type Node: Type
2015-02-05 18:08:36.912605: Insert Edge from Domain Domain to Type Type with label r
2015-02-05 18:08:41.310911: Type Node Type changes assignment to /m;
2015-02-05 18:08:44.750383: Initial Domain changes to Domain Domain at /
Failed!

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.3332.Feb-05-0609PM-2015
2015-02-05 18:09:32.847942: Insert Domain Node: Domain
2015-02-05 18:09:35.990065: Insert Type Node: Type
2015-02-05 18:09:41.986690: Insert Edge from Domain Domain to Type Type with label r
2015-02-05 18:09:46.085914: Type Node Type changes assignment to /m;
2015-02-05 18:09:49.822142: Initial Domain changes to Domain Domain at /

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.3587.Feb-05-0612PM-2015
2015-02-05 18:12:29.758948: Insert Domain Node: Domain
2015-02-05 18:12:31.491446: Insert Type Node: Type
2015-02-05 18:12:35.242472: Initial Domain changes to Domain Domain at /
2015-02-05 18:12:39.711993: Type Node Type changes assignment to /m;
2015-02-05 18:12:44.911914: Insert Edge from Domain Domain to Type Type with label r

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.3708.Feb-05-0615PM-2015
2015-02-05 18:15:29.507735: Insert Domain Node: Domain
2015-02-05 18:15:31.602729: Insert Type Node: Type
2015-02-05 18:15:35.060968: Insert Edge from Domain Domain to Type Type with label r
2015-02-05 18:15:37.908362: Initial Domain changes to Domain Domain at .
2015-02-05 18:15:43.537099: Type Node Type changes assignment to /m;
Failed!

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.3738.Feb-05-0616PM-2015
2015-02-05 18:16:43.357791: Insert Domain Node: Domain
2015-02-05 18:16:45.784422: Insert Type Node: Type
2015-02-05 18:16:50.568900: Insert Edge from Domain Domain to Type Type with label r
2015-02-05 18:16:53.422393: Initial Domain changes to Domain Domain at /
2015-02-05 18:16:57.743225: Type Node Type changes assignment to /m;
2015-02-05 18:17:03.265670: Save DTE vis file
--------------------------------------------------

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.3808.Feb-05-0618PM-2015
2015-02-05 18:18:33.750978: Switch to General Graph
2015-02-05 18:18:33.751633: Open DTE vis file: /home/manw/workspace/DTEvisual/src/test/1.dtevis
**************************************************
Initial domain: 1 : /

T Type 2743.000000 2662.000000 34 139 34 /m;

D Domain 2403.000000 2358.000000

F m 0 0 232.000000 0.000000 None

F / -1 2 0.000000 0.000000 None

1 0 r 2

3 2 3

**************************************************
2015-02-05 18:18:38.626090: Export DTE spec to file /home/manw/workspace/DTEvisual/src/test/1.dte
Succeeded!
--------------------------------------------------
2015-02-05 18:18:51.717314: New diagram
2015-02-05 18:18:54.195111: Insert Domain Node: Domain
2015-02-05 18:18:56.383751: Insert Type Node: Type
2015-02-05 18:19:01.402611: Insert Edge from Domain Domain to Type Type with label r
2015-02-05 18:19:08.332407: Type Node Type changes assignment to /m;
2015-02-05 18:19:14.497385: Initial Domain changes to Domain Domain at /
Failed!

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.3862.Feb-05-0622PM-2015
2015-02-05 18:22:10.752895: Insert Domain Node: Domain
2015-02-05 18:22:12.452588: Insert Type Node: Type
2015-02-05 18:22:31.221250: Insert Edge from Domain Domain to Type Type with label rw
2015-02-05 18:22:37.284058: Initial Domain changes to Domain Domain at /
2015-02-05 18:22:41.424322: Type Node Type changes assignment to /m;
Failed!

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.4179.Feb-05-0629PM-2015
2015-02-05 18:29:32.394063: Insert Domain Node: Domain
2015-02-05 18:29:34.007502: Insert Type Node: Type
2015-02-05 18:29:39.693316: Insert Edge from Domain Domain to Type Type with label wr
2015-02-05 18:29:43.108915: Initial Domain changes to Domain Domain at /
2015-02-05 18:29:48.152781: Type Node Type changes assignment to /m;
Failed!

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.4213.Feb-05-0630PM-2015
2015-02-05 18:30:26.886583: Insert Domain Node: Domain
2015-02-05 18:30:28.448599: Insert Type Node: Type
2015-02-05 18:30:32.917652: Insert Edge from Domain Domain to Type Type with label wr
2015-02-05 18:30:37.157837: Initial Domain changes to Domain Domain at /
2015-02-05 18:30:42.528201: Type Node Type changes assignment to /m;
Failed!

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.4254.Feb-05-0631PM-2015
2015-02-05 18:31:23.427806: Insert Domain Node: Domain
2015-02-05 18:31:25.254152: Insert Type Node: Type
2015-02-05 18:31:29.360234: Insert Edge from Domain Domain to Type Type with label wr
2015-02-05 18:31:38.357848: Initial Domain changes to Domain Domain at /
2015-02-05 18:31:43.311754: Type Node Type changes assignment to /m;
Failed!

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.4297.Feb-05-0632PM-2015
2015-02-05 18:32:34.852921: Insert Domain Node: Domain
2015-02-05 18:32:37.040729: Insert Type Node: Type
2015-02-05 18:32:44.055900: Insert Edge from Domain Domain to Type Type with label wr
2015-02-05 18:32:49.439390: Initial Domain changes to Domain Domain at /
2015-02-05 18:32:55.947359: Type Node Type changes assignment to /m;
Failed!

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.4335.Feb-05-0633PM-2015
2015-02-05 18:33:37.502185: Insert Domain Node: Domain
2015-02-05 18:33:39.040325: Insert Type Node: Type
2015-02-05 18:33:44.193197: Insert Edge from Domain Domain to Type Type with label rw
2015-02-05 18:33:47.900798: Type Node Type changes assignment to /m;
2015-02-05 18:33:52.824293: Initial Domain changes to Domain Domain at /
Failed!

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.4403.Feb-05-0635PM-2015
2015-02-05 18:35:25.538951: Insert Domain Node: Domain
2015-02-05 18:35:27.587637: Insert Type Node: Type
2015-02-05 18:35:32.715156: Insert Edge from Domain Domain to Type Type with label wr
2015-02-05 18:35:35.914376: Initial Domain changes to Domain Domain at /
2015-02-05 18:35:40.597960: Type Node Type changes assignment to /m;
Failed!

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.4480.Feb-05-0637PM-2015
2015-02-05 18:37:11.440650: Insert Domain Node: Domain
2015-02-05 18:37:13.034410: Insert Type Node: Type
2015-02-05 18:37:15.709435: Insert Edge from Domain Domain to Type Type with label r

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.4501.Feb-05-0638PM-2015
2015-02-05 18:38:31.750858: Insert Domain Node: Domain
2015-02-05 18:38:33.617604: Insert Type Node: Type
2015-02-05 18:38:38.903552: Insert Edge from Domain Domain to Type Type with label r
2015-02-05 18:38:49.646014: Initial Domain changes to Domain Domain at /
2015-02-05 18:38:53.234501: Type Node Type changes assignment to /m;
2015-02-05 18:38:56.912302: Export DTE spec to file /home/manw/workspace/DTEvisual/src/test/1.dte
Succeeded!

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.4582.Feb-05-0641PM-2015
2015-02-05 18:41:20.753349: Insert Domain Node: Domain
2015-02-05 18:41:22.465132: Insert Type Node: Type
2015-02-05 18:41:28.281842: Insert Edge from Domain Domain to Type Type with label wr
2015-02-05 18:41:44.291284: Initial Domain changes to Domain Domain at /
2015-02-05 18:41:48.148901: Type Node Type changes assignment to /m;
2015-02-05 18:41:52.597229: Export DTE spec to file /home/manw/workspace/DTEvisual/src/test/1.dte
Succeeded!

--------------------Start DTEvisual--------------------
rover-213-57.rovernet.mtu.edu.4671.Feb-05-0646PM-2015
2015-02-05 18:46:48.575041: Insert Type Node: Type
2015-02-05 18:46:50.647894: Insert Domain Node: Domain
2015-02-05 18:46:54.232694: Insert Edge from Domain Domain to Type Type with label rw
2015-02-05 18:46:59.074118: Type Node Type changes assignment to /m;
2015-02-05 18:47:02.374836: Initial Domain changes to Domain Domain at /
2015-02-05 18:47:08.687893: Export DTE spec to file /home/manw/workspace/DTEvisual/src/test/1.dte
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.3116.Feb-12-0231PM-2015

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.3158.Feb-12-0233PM-2015

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.4243.Feb-13-1204AM-2015
2015-02-13 00:04:38.069907: Switch to General Graph
2015-02-13 00:04:38.070338: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/hwexample.dte
**************************************************
type generic_t,binaries_t,readable_t,writable_t,dte_t, log_t;

domain user_d = (/usr/bin/{sh,csh,tcsh}),

        (drx->binaries_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);

domain admin_d = (/usr/bin/{sh,csh,tcsh}),

        (drwx->binaries_t,writable_t,readable_t, dte_t),

        (cdrwx->generic_t);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->generic_t,dte_t,readable_t),

        (exec->admin_d,user_d);

domain daemon_d = (/sbin/init),

        (cdrw->writable_t),

        (dr->generic_t,readable_t),

        (drx->binaries_t),

        (auto->login_d, log_d);

domain log_d = (/usr/sbin/syslogd),

        (crwd->log_t),

        (rwd->writable_t),

        (rd->generic_t, readable_t);

initial_domain = daemon_d;

assign -r writable_t /tmp,/usr/var,/dev;

assign -r readable_t /etc;

assign -r -s binaries_t /usr/local/bin,/usr/sbin,/usr/libexec,/usr/bin,/sbin,/bin;

assign -r -s dte_t /dte;

assign -r generic_t /;

assign -r log_t /usr/var/log;

**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.1435.Feb-22-1145PM-2015
Failed!
Failed!
Failed!
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.1456.Feb-22-1150PM-2015
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.1458.Feb-22-1152PM-2015
Failed!
Failed!
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.1476.Feb-22-1156PM-2015
2015-02-22 23:56:32.874688: Switch to General Graph
2015-02-22 23:56:32.875273: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/bin/bash, /sbin/init/, /bin/su),

	(rwxcd->root_t, spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwdc->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login, /bin/login_dte),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxwd->config_t),

	(exec->root_d);

domain user_d = (/bin/bash, /bin/tcsh),

	(rwxcd->user_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rwxd->root_t),

	(rxd->lib_t, binary_t, config_t),

	(exec->root_d);

domain ftpd_d = (/usr/sbin/in_ftpd),

	(rwcd->ftpd_t, dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;

assign 		user_t 		/home, /scratch;

assign 		spool_t 	/tmp, /var;

assign 		dev_t		/dev;

assign -r 	user_t		/usr/src/linux;

assign 		binary_t	/usr/sbin;

assign		ftpd_xt		/usr/sbin/in_ftpd, /var/log/xferlog;

assign		ftpd_t  	/var/run/ftp_pids_all;

assign -r 	ftpd_t 		/home/ftp;

assign -r	ftpd_xt		/home/ftp/bin;

assign -r 	lib_t 		/lib;

assign		passwd_t	/etc/passwd;

assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign		config_t	/etc;

assign -r 	root_t		/;









**************************************************
Succeeded!
2015-02-22 23:56:41.631709: Switch to Type Graph
2015-02-22 23:57:07.954830: Switch to General Graph
2015-02-22 23:57:31.398738: Switch to General Graph
2015-02-22 23:57:31.403186: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/bin/bash, /sbin/init/, /bin/su),

	(rwxcd->root_t, spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwdc->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login, /bin/login_dte),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxwd->config_t),

	(exec->root_d);

domain user_d = (/bin/bash, /bin/tcsh),

	(rwxcd->user_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rwxd->root_t),

	(rxd->lib_t, binary_t, config_t),

	(exec->root_d);

domain ftpd_d = (/usr/sbin/in_ftpd),

	(rwcd->ftpd_t, dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;

assign 		user_t 		/home, /scratch;

assign 		spool_t 	/tmp, /var;

assign 		dev_t		/dev;

assign -r 	user_t		/usr/src/linux;

assign 		binary_t	/usr/sbin;

assign		ftpd_xt		/usr/sbin/in_ftpd, /var/log/xferlog;

assign		ftpd_t  	/var/run/ftp_pids_all;

assign -r 	ftpd_t 		/home/ftp;

assign -r	ftpd_xt		/home/ftp/bin;

assign -r 	lib_t 		/lib;

assign		passwd_t	/etc/passwd;

assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign		config_t	/etc;

assign -r 	root_t		/;









**************************************************
Succeeded!
--------------------------------------------------
2015-02-22 23:57:41.840393: New diagram
2015-02-22 23:57:57.205864: Insert Domain Node: root_d
2015-02-22 23:58:02.668338: Insert Domain Node: login_d
2015-02-22 23:58:07.421511: Insert Domain Node: user_d

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.1608.Feb-23-1204AM-2015
2015-02-23 00:04:12.772610: Switch to General Graph
2015-02-23 00:04:12.773365: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/bin/bash, /sbin/init/, /bin/su),

	(rwxcd->root_t, spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwdc->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login, /bin/login_dte),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxwd->config_t),

	(exec->root_d);

domain user_d = (/bin/bash, /bin/tcsh),

	(rwxcd->user_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rwxd->root_t),

	(rxd->lib_t, binary_t, config_t),

	(exec->root_d);

domain ftpd_d = (/usr/sbin/in_ftpd),

	(rwcd->ftpd_t, dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;

assign 		user_t 		/home, /scratch;

assign 		spool_t 	/tmp, /var;

assign 		dev_t		/dev;

assign -r 	user_t		/usr/src/linux;

assign 		binary_t	/usr/sbin;

assign		ftpd_xt		/usr/sbin/in_ftpd, /var/log/xferlog;

assign		ftpd_t  	/var/run/ftp_pids_all;

assign -r 	ftpd_t 		/home/ftp;

assign -r	ftpd_xt		/home/ftp/bin;

assign -r 	lib_t 		/lib;

assign		passwd_t	/etc/passwd;

assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign		config_t	/etc;

assign -r 	root_t		/;









**************************************************
Succeeded!
--------------------------------------------------
2015-02-23 00:04:25.104908: New diagram

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.1626.Feb-23-1204AM-2015
2015-02-23 00:05:01.999757: Insert Domain Node: root_d
2015-02-23 00:05:05.439636: Insert Domain Node: login_d
2015-02-23 00:05:08.921533: Insert Domain Node: user_d
2015-02-23 00:05:12.661575: Insert Domain Node: ftpd_d
2015-02-23 00:05:31.605118: Initial Domain changes to Domain root_d at /bin/bash, /sbin/init,/bin/su
2015-02-23 00:05:48.394006: Insert Type Node: root_t
2015-02-23 00:05:53.823236: Insert Type Node: login-t
2015-02-23 00:05:56.241375: Delete Type Node: login-t
2015-02-23 00:06:01.583910: Insert Type Node: login_t
2015-02-23 00:06:07.563101: Insert Type Node: user_t
2015-02-23 00:06:11.796831: Insert Type Node: spool_t
2015-02-23 00:06:21.154780: Insert Type Node: binary_t
2015-02-23 00:06:26.065280: Insert Type Node: lib_t
2015-02-23 00:06:31.217066: Insert Type Node: passwd_t
2015-02-23 00:06:36.608700: Insert Type Node: shadow_t
2015-02-23 00:06:40.022414: Insert Type Node: dev_t
2015-02-23 00:06:44.339321: Insert Type Node: config_t
2015-02-23 00:06:48.560667: Insert Type Node: ftpd_t
2015-02-23 00:06:57.017948: Insert Type Node: ftpd_xt
2015-02-23 00:07:00.555438: Insert Type Node: w_t
2015-02-23 00:07:29.326579: Insert Edge from Domain root_d to Domain login_d with label /bin/login, /bin/login_dte
2015-02-23 00:07:46.905516: Insert Edge from Domain root_d to Domain ftpd_d with label /usr/sbin/in_ftpd
Failed!
2015-02-23 00:17:50.884746: Insert Edge from Domain root_d to Type root_t with label rwxcd
2015-02-23 00:18:12.246089: Insert Edge from Domain root_d to Type spool_t with label rwxd
2015-02-23 00:18:17.605027: Insert Edge from Domain root_d to Type user_t with label rwxd
2015-02-23 00:18:21.777022: Insert Edge from Domain root_d to Type passwd_t with label rwxd
2015-02-23 00:18:30.712390: Insert Edge from Domain root_d to Type shadow_t with label rwxd
2015-02-23 00:18:38.024592: Insert Edge from Domain root_d to Type dev_t with label rwxd
2015-02-23 00:18:45.267457: Insert Edge from Domain root_d to Type config_t with label rwxd
2015-02-23 00:18:53.562879: Insert Edge from Domain root_d to Type w_t with label rwxd
2015-02-23 00:19:03.211019: Insert Edge from Domain root_d to Type ftpd_xt with label rwd
2015-02-23 00:19:34.405316: Insert Edge from Domain root_d to Type lib_t with label rxd
2015-02-23 00:19:39.218697: Insert Edge from Domain root_d to Type binary_t with label rxd
2015-02-23 00:19:59.916237: Insert Edge from Domain login_d to Type root_t with label rxd
2015-02-23 00:20:04.992271: Insert Edge from Domain login_d to Type lib_t with label rxd
2015-02-23 00:20:09.301163: Insert Edge from Domain login_d to Type binary_t with label rxd
2015-02-23 00:21:35.272512: Insert Edge from Domain login_d to Type spool_t with label rwxcd
Failed!
2015-02-23 00:25:40.996377: Switch to General Graph
2015-02-23 00:25:40.996720: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/bin/bash, /sbin/init/, /bin/su),

	(rwxcd->root_t),

	(rwxd->spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwd->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login, /bin/login_dte),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t),

	(rwxd->passwd_t, shadow_t, dev_t, w_t, config_t),

	(exec->user_d);

domain user_d = (/bin/bash, /bin/tcsh),

	(rwxcd->user_t),

	(rwxd->root_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxd->lib_t, binary_t, config_t),

	(exec->root_d);

domain ftpd_d = (/usr/sbin/in_ftpd),

	(rwcd->ftpd_t),

	(rwd->dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;

assign 		user_t 		/home, /scratch;

assign 		spool_t 	/tmp, /var;

assign 		dev_t		/dev;

assign -r 	user_t		/usr/src/linux;

assign 		binary_t	/usr/sbin;

assign		ftpd_xt		/usr/sbin/in_ftpd, /var/log/xferlog;

assign		ftpd_t  	/var/run/ftp_pids_all;

assign -r 	ftpd_t 		/home/ftp;

assign -r	ftpd_xt		/home/ftp/bin;

assign -r 	lib_t 		/lib;

assign		passwd_t	/etc/passwd;

assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign		config_t	/etc;

assign -r 	root_t		/;









**************************************************
Succeeded!
--------------------------------------------------
2015-02-23 00:25:54.461487: New diagram
--------------------------------------------------
2015-02-23 00:25:54.931738: New diagram
--------------------------------------------------
2015-02-23 00:25:56.105128: New diagram
--------------------------------------------------
2015-02-23 00:25:57.065721: New diagram
--------------------------------------------------
2015-02-23 00:25:57.949513: New diagram
2015-02-23 00:26:21.330426: Switch to General Graph
2015-02-23 00:26:23.595906: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/bin/bash, /sbin/init/, /bin/su),

	(rwxcd->root_t),

	(rwxd->spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwd->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login, /bin/login_dte),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t),

	(rwxd->passwd_t, shadow_t, dev_t, w_t, config_t),

	(exec->user_d);

domain user_d = (/bin/bash, /bin/tcsh),

	(rwxcd->user_t),

	(rwxd->root_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxd->lib_t, binary_t, config_t),

	(exec->root_d);

domain ftpd_d = (/usr/sbin/in_ftpd),

	(rwcd->ftpd_t),

	(rwd->dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;

assign 		user_t 		/home, /scratch;

assign 		spool_t 	/tmp, /var;

assign 		dev_t		/dev;

assign -r 	user_t		/usr/src/linux;

assign 		binary_t	/usr/sbin;

assign		ftpd_xt		/usr/sbin/in_ftpd, /var/log/xferlog;

assign		ftpd_t  	/var/run/ftp_pids_all;

assign -r 	ftpd_t 		/home/ftp;

assign -r	ftpd_xt		/home/ftp/bin;

assign -r 	lib_t 		/lib;

assign		passwd_t	/etc/passwd;

assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign		config_t	/etc;

assign -r 	root_t		/;









**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.1670.Feb-23-1226AM-2015
2015-02-23 00:27:06.590773: Switch to General Graph
2015-02-23 00:27:06.591102: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/firstExample.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t;

domain daemon_d = (  /sbin/init),

        (dr->generic_t,readable_t,dte_t),

        (drx->sysbin_t),

        (cdrw->writable_t),

        (auto->login_d);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->readable_t,generic_t,dte_t),

        (exec->user_d,admin_d);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t);

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->writable_t,sysbin_t,dte_t,readable_t),

        (cdrwx->generic_t);



initial_domain = daemon_d;



assign -r generic_t /;

assign -r readable_t /etc;

assign -r -s dte_t /dte;

assign -r writable_t /usr/var,/dev,/tmp;

assign -r -s sysbin_t /usr/bin,/usr/sysbin,/sbin,/bin;
**************************************************
Succeeded!
2015-02-23 00:28:03.154897: Switch to General Graph
2015-02-23 00:28:03.155270: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/bin/bash, /sbin/init/, /bin/su),

	(rwxcd->root_t),

	(rwxd->spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwd->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login, /bin/login_dte),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t),

	(rwxd->passwd_t, shadow_t, dev_t, w_t, config_t),

	(exec->user_d);

domain user_d = (/bin/bash, /bin/tcsh),

	(rwxcd->user_t),

	(rwxd->root_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxd->lib_t, binary_t, config_t),

	(exec->root_d);

domain ftpd_d = (/usr/sbin/in_ftpd),

	(rwcd->ftpd_t),

	(rwd->dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;

assign 		user_t 		/home, /scratch;

assign 		spool_t 	/tmp, /var;

assign 		dev_t		/dev;

assign -r 	user_t		/usr/src/linux;

assign 		binary_t	/usr/sbin;

assign		ftpd_xt		/usr/sbin/in_ftpd, /var/log/xferlog;

assign		ftpd_t  	/var/run/ftp_pids_all;

assign -r 	ftpd_t 		/home/ftp;

assign -r	ftpd_xt		/home/ftp/bin;

assign -r 	lib_t 		/lib;

assign		passwd_t	/etc/passwd;

assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign		config_t	/etc;

assign -r 	root_t		/;









**************************************************
Succeeded!
2015-02-23 00:28:45.637538: Switch to General Graph
2015-02-23 00:28:45.822032: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/bin/bash, /sbin/init/, /bin/su),

	(rwxcd->root_t),

	(rwxd->spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwd->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login, /bin/login_dte),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t),

	(rwxd->passwd_t, shadow_t, dev_t, w_t, config_t),

	(exec->user_d);

domain user_d = (/bin/bash, /bin/tcsh),

	(rwxcd->user_t),

	(rwxd->root_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxd->lib_t, binary_t, config_t),

	(exec->root_d);

domain ftpd_d = (/usr/sbin/in_ftpd),

	(rwcd->ftpd_t),

	(rwd->dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;



assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign		config_t	/etc;

assign -r 	root_t		/;









**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.1704.Feb-23-1230AM-2015
2015-02-23 00:30:28.927880: Switch to General Graph
2015-02-23 00:30:28.928237: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/sbin/init/),

	(rwxcd->root_t),

	(rwxd->spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwd->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t),

	(rwxd->passwd_t, shadow_t, dev_t, w_t, config_t),

	(exec->user_d);

domain user_d = (/bin/{bash,tcsh}),

	(rwxcd->user_t),

	(rwxd->root_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxd->lib_t, binary_t, config_t),

	(exec->root_d);

domain ftpd_d = (/usr/sbin/inftpd),

	(rwcd->ftpd_t),

	(rwd->dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;

assign 		user_t 		/home, /scratch;

assign 		spool_t 	/tmp, /var;

assign 		dev_t		/dev;

assign -r 	user_t		/usr/src/linux;

assign 		binary_t	/usr/sbin;

assign		ftpd_xt		/usr/sbin/inftpd, /var/log/xferlog;

assign		ftpd_t  	/var/run/ftppidsall;

assign -r 	ftpd_t 		/home/ftp;

assign -r	ftpd_xt		/home/ftp/bin;

assign -r 	lib_t 		/lib;

assign		passwd_t	/etc/passwd;

assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign		config_t	/etc;

assign -r 	root_t		/;









**************************************************
Succeeded!
2015-02-23 00:31:26.479938: Clicked Domain Node login_d
2015-02-23 00:32:40.960125: Specification Dialog turned on
2015-02-23 00:32:45.958891: Specification Dialog turned on
2015-02-23 00:33:03.961655: Specification Dialog turned on
2015-02-23 00:33:08.526077: Specification Dialog turned on

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.1772.Feb-23-1234AM-2015
2015-02-23 00:34:54.761402: Clicked Domain Node root_d
2015-02-23 00:34:54.834419: Moved Domain Node root_d
2015-02-23 00:35:02.229196: Delete Domain Node: root_d
2015-02-23 00:35:08.454346: Insert Domain Node: root_d
2015-02-23 00:35:19.684182: Initial Domain changes to Domain root_d at /sbin/init
2015-02-23 00:35:35.770538: Insert Edge from Domain root_d to Domain login_d with label /bin/login
2015-02-23 00:35:57.805499: Insert Edge from Domain root_d to Domain ftpd_d with label /bin/{bash, tcsh}
2015-02-23 00:36:33.561651: Insert Edge from Domain login_d to Domain user_d with label /bin/{bash, tcsh}
2015-02-23 00:37:59.024408: Save DTE vis file
--------------------------------------------------
--------------------------------------------------
2015-02-23 00:38:03.795736: New diagram
2015-02-23 00:38:30.439388: Insert Edge from Domain user_d to Domain root_d with label /sbin/init
2015-02-23 00:38:40.481225: Save DTE vis file
--------------------------------------------------
--------------------------------------------------
2015-02-23 00:38:41.853679: New diagram
2015-02-23 00:38:55.343181: Specification Dialog turned on
2015-02-23 00:39:02.692102: Specification Dialog turned off
2015-02-23 00:39:06.437485: Delete Edge from Domain user_d to Domain root_d
2015-02-23 00:39:39.813375: Insert Edge from Domain user_d to Domain root_d with label /sbin/init
2015-02-23 00:39:51.240319: Delete Edge from Domain user_d to Domain root_d
2015-02-23 00:40:08.800319: Insert Edge from Domain root_d to Type root_t with label rwxcd
2015-02-23 00:40:25.959022: Insert Edge from Domain root_d to Type spool_t with label rwxd
2015-02-23 00:40:31.990177: Insert Edge from Domain root_d to Type user_t with label rwxd
2015-02-23 00:40:38.091424: Insert Edge from Domain root_d to Type passwd_t with label rwxd
2015-02-23 00:40:44.006570: Insert Edge from Domain root_d to Type shadow_t with label rwxd
2015-02-23 00:40:51.535675: Insert Edge from Domain root_d to Type dev_t with label rwxd
2015-02-23 00:41:00.587603: Insert Edge from Domain root_d to Type config_t with label rwxd
2015-02-23 00:41:06.901127: Insert Edge from Domain root_d to Type w_t with label rwxd
2015-02-23 00:41:14.960572: Insert Edge from Domain root_d to Type ftpd_t with label rwd
2015-02-23 00:41:23.263350: Insert Edge from Domain root_d to Type lib_t with label rxd
2015-02-23 00:41:31.396602: Insert Edge from Domain root_d to Type binary_t with label rxd
2015-02-23 00:41:57.028032: Save DTE vis file
--------------------------------------------------
--------------------------------------------------
2015-02-23 00:41:58.402185: New diagram
2015-02-23 00:42:22.275486: Insert Edge from Domain login_d to Type spool_t with label rwxcd
2015-02-23 00:42:29.165506: Insert Edge from Domain login_d to Type root_t with label rxd
2015-02-23 00:42:39.373818: Insert Edge from Domain login_d to Type lib_t with label rxd
2015-02-23 00:42:50.093324: Insert Edge from Domain login_d to Type binary_t with label rxd
2015-02-23 00:42:58.623853: Insert Edge from Domain login_d to Type passwd_t with label rwxd
2015-02-23 00:43:04.837262: Insert Edge from Domain login_d to Type shadow_t with label rwxd
2015-02-23 00:43:09.194534: Insert Edge from Domain login_d to Type dev_t with label rwxd
2015-02-23 00:43:13.408791: Insert Edge from Domain login_d to Type w_t with label rwxd
2015-02-23 00:43:18.792074: Insert Edge from Domain login_d to Type config_t with label rwxd
2015-02-23 00:43:27.496473: Save DTE vis file
--------------------------------------------------
--------------------------------------------------
2015-02-23 00:43:28.827754: New diagram
2015-02-23 00:43:50.087429: Insert Edge from Domain user_d to Type user_t with label rwxcd
2015-02-23 00:43:56.369132: Insert Edge from Domain user_d to Type root_t with label rwxd
2015-02-23 00:44:03.679871: Insert Edge from Domain user_d to Type spool_t with label rwxd
2015-02-23 00:44:08.485986: Insert Edge from Domain user_d to Type passwd_t with label rwxd
2015-02-23 00:44:14.100150: Insert Edge from Domain user_d to Type shadow_t with label rwxd
2015-02-23 00:44:20.552037: Insert Edge from Domain user_d to Type dev_t with label rwxd
2015-02-23 00:44:27.980279: Insert Edge from Domain user_d to Type w_t with label rwxd
2015-02-23 00:44:37.579111: Insert Edge from Domain user_d to Type lib_t with label rxd
2015-02-23 00:44:46.076650: Insert Edge from Domain user_d to Type binary_t with label rxd
2015-02-23 00:44:52.992306: Insert Edge from Domain user_d to Type config_t with label rxd
2015-02-23 00:45:11.338556: Insert Edge from Domain ftpd_d to Type ftpd_xt with label rxd
2015-02-23 00:45:21.461203: Insert Edge from Domain ftpd_d to Type lib_t with label rxd
2015-02-23 00:45:25.932421: Insert Edge from Domain ftpd_d to Type passwd_t with label r
2015-02-23 00:45:30.586537: Insert Edge from Domain ftpd_d to Type shadow_t with label r
2015-02-23 00:45:37.125844: Insert Edge from Domain ftpd_d to Type spool_t with label d
2015-02-23 00:45:46.046894: Insert Edge from Domain ftpd_d to Type user_t with label rd
2015-02-23 00:45:53.490315: Insert Edge from Domain ftpd_d to Type root_t with label rd
2015-02-23 00:45:57.361311: Insert Edge from Domain ftpd_d to Type config_t with label rd
2015-02-23 00:46:03.367272: Insert Edge from Domain ftpd_d to Type dev_t with label rwd
2015-02-23 00:46:07.913705: Insert Edge from Domain ftpd_d to Type w_t with label rwd
2015-02-23 00:46:17.561530: Insert Edge from Domain ftpd_d to Type ftpd_t with label rwcd
2015-02-23 00:46:27.662521: Save DTE vis file
--------------------------------------------------
--------------------------------------------------
2015-02-23 00:46:29.363476: New diagram
2015-02-23 00:46:35.878900: Set to Normal Mode
2015-02-23 00:46:36.789499: Clicked Type Node shadow_t
2015-02-23 00:46:38.311969: Moved Type Node shadow_t
2015-02-23 00:46:38.838279: Clicked Type Node spool_t
2015-02-23 00:46:40.694096: Moved Type Node spool_t
2015-02-23 00:46:41.797997: Clicked Type Node user_t
2015-02-23 00:46:44.817841: Moved Type Node user_t
2015-02-23 00:46:46.412552: Clicked Type Node login_t
2015-02-23 00:46:47.408819: Moved Type Node login_t
2015-02-23 00:47:28.506233: Insert Edge from Domain login_d to Type login_t with label rwcxd
2015-02-23 00:47:47.122345: Save DTE vis file
--------------------------------------------------
2015-02-23 00:48:20.263921: Type Node user_t changes assignment to /home, /scratch;
2015-02-23 00:49:24.037145: Type Node spool_t changes assignment to /tmp, /var;
2015-02-23 00:49:30.761363: Type Node dev_t changes assignment to /dev;
2015-02-23 00:49:46.440268: Type Node binary_t changes assignment to /usr/sbin;
2015-02-23 00:50:22.344279: Type Node ftpd_t changes assignment to -r /home/ftp/;
2015-02-23 00:50:38.760035: Type Node ftpd_xt changes assignment to -r /home/ftp/bin/;
2015-02-23 00:50:41.796975: Specification Dialog turned on
2015-02-23 00:51:02.732974: Specification Dialog turned off
2015-02-23 00:51:13.518655: Type Node lib_t changes assignment to -r /bin/;
2015-02-23 00:51:20.760401: Type Node lib_t changes assignment to -r /lib/;
2015-02-23 00:51:31.425366: Type Node passwd_t changes assignment to /etc/passwd;
2015-02-23 00:51:42.504853: Type Node shadow_t changes assignment to /etc/shadow;
2015-02-23 00:52:03.729572: Type Node w_t changes assignment to /var/log/wtmp, /var/run/utmp;
2015-02-23 00:52:15.885396: Type Node config_t changes assignment to -r /etc/;
2015-02-23 00:52:30.670012: Type Node root_t changes assignment to -r /;
2015-02-23 00:52:32.825201: Specification Dialog turned on
2015-02-23 00:52:38.593225: Specification Dialog turned off
2015-02-23 00:52:55.720699: Export DTE spec to file /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy1.dte
Succeeded!
--------------------------------------------------
2015-02-23 00:52:58.922434: New diagram
2015-02-23 00:53:04.997007: Specification Dialog turned on
2015-02-23 00:53:08.123876: Specification Dialog turned off
2015-02-23 00:53:16.064572: Switch to General Graph
2015-02-23 00:53:16.064957: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy1.dte
**************************************************
type w_t,ftpd_xt,ftpd_t,config_t,dev_t,shadow_t,passwd_t,lib_t,binary_t,spool_t,user_t,login_t,root_t;

domain ftpd_d = (/usr/sbin/inftpd),

        (drx->ftpd_xt,lib_t),

        (d->spool_t),

        (cdrw->ftpd_t),

        (drw->w_t,dev_t),

        (r->shadow_t,passwd_t),

        (dr->user_t,config_t,root_t);

domain user_d = (/bin/{bash,tcsh}),

        (drx->binary_t,lib_t,config_t),

        (drwx->dev_t,w_t,passwd_t,spool_t,shadow_t,root_t),

        (cdrwx->user_t);

domain login_d = (/bin/login),

        (drx->root_t,lib_t,binary_t),

        (drwx->w_t,shadow_t,config_t,passwd_t,dev_t,spool_t),

        (cdrwx->login_t),

        (exec->user_d);

domain root_d = (     /sbin/init),

        (drx->binary_t,lib_t),

        (drwx->dev_t,spool_t,w_t,shadow_t,config_t,user_t,passwd_t),

        (cdrwx->root_t),

        (drw->ftpd_t),

        (auto->ftpd_d,login_d);

initial_domain = root_d;

assign -r config_t /etc/;

assign -r root_t /;

assign  passwd_t /etc/passwd;

assign  binary_t /usr/sbin;

assign -r ftpd_t /home/ftp/;

assign  shadow_t /etc/shadow;

assign -r lib_t /lib/;

assign -r ftpd_xt /home/ftp/bin/;

assign  user_t /home,/scratch;

assign  dev_t /dev;

assign  w_t /var/log/wtmp,/var/run/utmp;

assign  spool_t /tmp,/var;

**************************************************
Succeeded!
2015-02-23 00:53:19.209123: Specification Dialog turned on
2015-02-23 00:53:52.325716: Specification Dialog turned off
--------------------------------------------------
2015-02-23 00:54:24.513063: New diagram
2015-02-23 00:54:29.551842: Switch to General Graph
2015-02-23 00:54:29.552174: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy1.dte
**************************************************
type w_t,ftpd_xt,ftpd_t,config_t,dev_t,shadow_t,passwd_t,lib_t,binary_t,spool_t,user_t,login_t,root_t;

domain ftpd_d = (/usr/sbin/inftpd),

        (drx->ftpd_xt,lib_t),

        (d->spool_t),

        (cdrw->ftpd_t),

        (drw->w_t,dev_t),

        (r->shadow_t,passwd_t),

        (dr->user_t,config_t,root_t);

domain user_d = (/bin/{bash,tcsh}),

        (drx->binary_t,lib_t,config_t),

        (drwx->dev_t,w_t,passwd_t,spool_t,shadow_t,root_t),

        (cdrwx->user_t);

domain login_d = (/bin/login),

        (drx->root_t,lib_t,binary_t),

        (drwx->w_t,shadow_t,config_t,passwd_t,dev_t,spool_t),

        (cdrwx->login_t),

        (exec->user_d);

domain root_d = (     /sbin/init),

        (drx->binary_t,lib_t),

        (drwx->dev_t,spool_t,w_t,shadow_t,config_t,user_t,passwd_t),

        (cdrwx->root_t),

        (drw->ftpd_t),

        (auto->ftpd_d,login_d);

initial_domain = root_d;

assign -r config_t /etc/;

assign -r root_t /;

assign  passwd_t /etc/passwd;

assign  binary_t /usr/sbin;

assign -r ftpd_t /home/ftp/;

assign  shadow_t /etc/shadow;

assign -r lib_t /lib/;

assign -r ftpd_xt /home/ftp/bin/;

assign  user_t /home,/scratch;

assign  dev_t /dev;

assign  w_t /var/log/wtmp,/var/run/utmp;

assign  spool_t /tmp,/var;

**************************************************
Succeeded!
2015-02-23 00:54:31.314645: Specification Dialog turned on
2015-02-23 00:54:33.763063: Specification Dialog turned off

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.1831.Feb-23-1255AM-2015
2015-02-23 00:55:19.181558: Switch to General Graph
2015-02-23 00:55:19.181897: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy1.dte
**************************************************
type w_t,ftpd_xt,ftpd_t,config_t,dev_t,shadow_t,passwd_t,lib_t,binary_t,spool_t,user_t,login_t,root_t;

domain ftpd_d = (/usr/sbin/inftpd),

        (drx->ftpd_xt,lib_t),

        (d->spool_t),

        (cdrw->ftpd_t),

        (drw->w_t,dev_t),

        (r->shadow_t,passwd_t),

        (dr->user_t,config_t,root_t);

domain user_d = (/bin/{bash,tcsh}),

        (drx->binary_t,lib_t,config_t),

        (drwx->dev_t,w_t,passwd_t,spool_t,shadow_t,root_t),

        (cdrwx->user_t);

domain login_d = (/bin/login),

        (drx->root_t,lib_t,binary_t),

        (drwx->w_t,shadow_t,config_t,passwd_t,dev_t,spool_t),

        (cdrwx->login_t),

        (exec->user_d);

domain root_d = (/sbin/init),

        (drx->binary_t,lib_t),

        (drwx->dev_t,spool_t,w_t,shadow_t,config_t,user_t,passwd_t),

        (cdrwx->root_t),

        (drw->ftpd_t),

        (auto->ftpd_d,login_d);

initial_domain = root_d;

assign -r config_t /etc/;

assign -r root_t /;

assign  passwd_t /etc/passwd;

assign  binary_t /usr/sbin;

assign -r ftpd_t /home/ftp/;

assign  shadow_t /etc/shadow;

assign -r lib_t /lib/;

assign -r ftpd_xt /home/ftp/bin/;

assign  user_t /home,/scratch;

assign  dev_t /dev;

assign  w_t /var/log/wtmp,/var/run/utmp;

assign  spool_t /tmp,/var;

**************************************************
Succeeded!
2015-02-23 00:55:22.791755: Switch to Type Graph
2015-02-23 00:55:27.802638: Switch to General Graph
2015-02-23 00:55:28.321020: Switch to Type Graph
2015-02-23 00:55:34.396275: Switch to General Graph
2015-02-23 00:55:41.665500: Specification Dialog turned on
2015-02-23 00:55:45.034234: Specification Dialog turned off
2015-02-23 00:55:55.424148: Run Query 8 with parameters c
2015-02-23 01:02:30.544574: Switch to General Graph
2015-02-23 01:02:34.719560: Delete Type Node: w_t
2015-02-23 01:02:37.000279: Specification Dialog turned on
2015-02-23 01:02:42.621082: Specification Dialog turned off
2015-02-23 01:02:44.733517: Specification Dialog turned on
2015-02-23 01:02:47.144894: Specification Dialog turned off

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.1856.Feb-23-0103AM-2015
2015-02-23 01:04:00.236558: Switch to General Graph
2015-02-23 01:04:00.236881: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy1.dte
**************************************************
type ftpd_xt,ftpd_t,config_t,dev_t,shadow_t,passwd_t,lib_t,binary_t,spool_t,user_t,login_t,root_t;

domain ftpd_d = (/usr/sbin/inftpd),

        (drx->ftpd_xt,lib_t),

        (d->spool_t),

        (cdrw->ftpd_t),

        (drw->dev_t),

        (r->shadow_t,passwd_t),

        (dr->user_t,config_t,root_t);

domain user_d = (/bin/{bash,tcsh}),

        (drx->binary_t,lib_t,config_t),

        (drwx->dev_t,passwd_t,spool_t,shadow_t,root_t),

        (cdrwx->user_t);

domain login_d = (/bin/login),

        (drx->root_t,lib_t,binary_t),

        (drwx->shadow_t,config_t,passwd_t,dev_t,spool_t),

        (cdrwx->login_t),

        (exec->user_d);

domain root_d = (/sbin/init),

        (drx->binary_t,lib_t),

        (drwx->dev_t,spool_t,shadow_t,config_t,user_t,passwd_t),

        (cdrwx->root_t),

        (drw->ftpd_t),

        (auto->ftpd_d,login_d);

initial_domain = root_d;

assign -r config_t /etc/;

assign -r root_t /;

assign  passwd_t /etc/passwd;

assign  binary_t /usr/sbin;

assign -r ftpd_t /home/ftp/;

assign  shadow_t /etc/shadow;

assign -r lib_t /lib/;

assign -r ftpd_xt /home/ftp/bin/;

assign  user_t /home,/scratch;

assign  dev_t /dev;

assign  spool_t /tmp,/var;

**************************************************
Succeeded!
2015-02-23 01:04:05.091076: Switch to Type Graph
2015-02-23 01:04:08.777076: Switch to General Graph
2015-02-23 01:04:09.263016: Switch to Type Graph
2015-02-23 01:04:10.257662: Switch to General Graph
2015-02-23 01:04:11.441990: Specification Dialog turned on
2015-02-23 01:04:59.248178: Specification Dialog turned off
--------------------------------------------------
2015-02-23 01:05:44.668687: New diagram
2015-02-23 01:05:48.403507: Switch to General Graph
2015-02-23 01:05:48.403836: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy1.dte
**************************************************
type ftpd_xt,ftpd_t,config_t,dev_t,shadow_t,passwd_t,lib_t,binary_t,spool_t,user_t,login_t,root_t;

domain ftpd_d = (/usr/sbin/inftpd),

        (drx->ftpd_xt,lib_t),

        (d->spool_t),

        (cdrw->ftpd_t),

        (drw->dev_t),

        (r->shadow_t,passwd_t),

        (dr->user_t,config_t,root_t);

domain user_d = (/bin/{bash,tcsh}),

        (drx->binary_t,lib_t,config_t),

        (drwx->dev_t,passwd_t,spool_t,shadow_t,root_t),

        (cdrwx->user_t);

domain login_d = (/bin/login),

        (drx->root_t,lib_t,binary_t),

        (drwx->shadow_t,config_t,passwd_t,dev_t,spool_t),

        (cdrwx->login_t),

        (exec->user_d);

domain root_d = (/sbin/init),

        (drx->binary_t,lib_t),

        (drwx->dev_t,spool_t,shadow_t,config_t,user_t,passwd_t),

        (cdrwx->root_t),

        (drw->ftpd_t),

        (auto->ftpd_d,login_d);

initial_domain = root_d;

assign -r root_t /;

assign -r lib_t /lib/;

assign -r config_t /etc/;

assign  dev_t /dev;

assign  spool_t /tmp,/var;

assign  passwd_t /etc/passwd;

assign  binary_t /usr/sbin;

assign -r ftpd_t /home/ftp/;

assign  shadow_t /etc/shadow;

assign -r ftpd_xt /home/ftp/bin/;

assign  user_t /home,/scratch;



**************************************************
Succeeded!
2015-02-23 01:05:53.992422: Switch to Type Graph
2015-02-23 01:05:58.930683: Specification Dialog turned on
2015-02-23 01:08:20.018778: Specification Dialog turned off

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.2237.Feb-23-0341AM-2015

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.2238.Feb-23-0341AM-2015

--------------------Start DTEvisual--------------------
rover-251-124.rovernet.mtu.edu.5893.Feb-24-0212PM-2015

--------------------Start DTEvisual--------------------
rover-251-124.rovernet.mtu.edu.6299.Feb-24-0403PM-2015
2015-02-24 16:03:33.249803: Switch to General Graph
2015-02-24 16:03:33.250415: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/firstExample.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t;

domain daemon_d = (  /sbin/init),

        (dr->generic_t,readable_t,dte_t),

        (drx->sysbin_t),

        (cdrw->writable_t),

        (auto->login_d);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->readable_t,generic_t,dte_t),

        (exec->user_d,admin_d);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t);

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->writable_t,sysbin_t,dte_t,readable_t),

        (cdrwx->generic_t);



initial_domain = daemon_d;



assign -r generic_t /;

assign -r readable_t /etc;

assign -r -s dte_t /dte;

assign -r writable_t /usr/var,/dev,/tmp;

assign -r -s sysbin_t /usr/bin,/usr/sysbin,/sbin,/bin;
**************************************************
Succeeded!
2015-02-24 16:03:34.502084: Switch to Type Graph
2015-02-24 16:03:39.093560: Switch to Type Graph
2015-02-24 16:03:39.730776: Switch to General Graph
2015-02-24 16:03:40.323529: Switch to Type Graph
2015-02-24 16:30:03.595046: Switch to General Graph
2015-02-24 16:30:03.595577: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/hw3-6.dte
**************************************************
type unprotected_t, passwd_t;

domain unprotected_d = (/sbin/init),

        (cdrwx->unprotected_t),

        (exec->passwd_d);



domain passwd_d = (/usr/bin/passwd),

        (crw->passwd_t);



initial_domain = unprotected_d;

assign -r unprotected_t /;

assign passwd_t /etc/passwd, /etc/shadow;
**************************************************
Succeeded!
2015-02-24 16:30:06.822726: Switch to Type Graph
2015-02-24 16:33:12.537196: Run Query 0 with parameters /usr/bin/zip
2015-02-24 16:38:15.710446: Clicked Type Node unprotected_t
2015-02-24 16:38:16.139640: Moved Type Node unprotected_t
2015-02-24 16:38:16.736832: Clicked Domain Node unprotected_d
2015-02-24 16:38:17.385517: Moved Domain Node unprotected_d
2015-02-24 16:38:18.013869: Clicked Domain Node passwd_d
2015-02-24 16:38:18.592364: Moved Domain Node passwd_d
2015-02-24 16:38:21.661707: Clicked Type Node passwd_t
2015-02-24 16:38:22.405457: Moved Type Node passwd_t
2015-02-24 16:38:30.321797: Clicked Domain Node passwd_d
2015-02-24 16:38:30.857383: Moved Domain Node passwd_d
2015-02-24 16:38:31.703605: Clicked Domain Node unprotected_d
2015-02-24 16:38:32.611320: Moved Domain Node unprotected_d
2015-02-24 16:38:33.293243: Clicked Type Node unprotected_t
2015-02-24 16:38:34.177442: Moved Type Node unprotected_t
2015-02-24 16:38:34.953458: Clicked Domain Node unprotected_d
2015-02-24 16:38:36.978979: Moved Domain Node unprotected_d
2015-02-24 16:38:39.803517: Clicked Domain Node unprotected_d
2015-02-24 16:38:40.355182: Moved Domain Node unprotected_d
2015-02-24 16:38:41.293345: Clicked Domain Node passwd_d
2015-02-24 16:38:42.584453: Moved Domain Node passwd_d
2015-02-24 16:38:43.327294: Clicked Type Node unprotected_t
2015-02-24 16:38:43.925027: Moved Type Node unprotected_t
2015-02-24 16:43:46.830974: Switch to General Graph
2015-02-24 16:43:46.831981: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/hwexample.dte
**************************************************
type generic_t,binaries_t,readable_t,writable_t,dte_t, log_t;

domain daemon_d = (/sbin/init),

        (cdrw->writable_t),

        (dr->generic_t,readable_t),

        (drx->binaries_t),

        (auto->login_d, log_d);



domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->generic_t,dte_t,readable_t),

        (exec->admin_d,user_d);



domain user_d = (/usr/bin/{sh,csh,tcsh}),

        (drx->binaries_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);



domain admin_d = (/usr/bin/{sh,csh,tcsh}),

        (drwx->binaries_t,writable_t,readable_t, dte_t),

        (cdrwx->generic_t);



domain log_d = (/usr/sbin/syslogd),

        (crwd->log_t),

        (rwd->writable_t),

        (rd->generic_t, readable_t);



initial_domain = daemon_d;



assign -r writable_t /tmp,/usr/var,/dev;

assign -r readable_t /etc;

assign -r -s binaries_t /usr/local/bin,/usr/sbin,/usr/libexec,/usr/bin,/sbin,/bin;

assign -r -s dte_t /dte;

assign -r generic_t /;

assign -r log_t /usr/var/log;

**************************************************
Succeeded!
2015-02-24 16:43:51.522233: Switch to Type Graph

--------------------Start DTEvisual--------------------
rover-251-124.rovernet.mtu.edu.6460.Feb-24-0445PM-2015
2015-02-24 16:45:15.145037: Switch to General Graph
2015-02-24 16:45:15.145624: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/hwexample.dte
**************************************************
type generic_t,binaries_t,readable_t,writable_t,dte_t, log_t;

domain daemon_d = (/sbin/init),

        (cdrw->writable_t),

        (dr->generic_t,readable_t),

        (drx->binaries_t),

        (auto->login_d, log_d);



domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->generic_t,dte_t,readable_t),

        (exec->admin_d,user_d);



domain user_d = (/usr/bin/{sh,csh,tcsh}),

        (drx->binaries_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);



domain admin_d = (/usr/bin/{sh,csh,tcsh}),

        (drwx->binaries_t,writable_t,readable_t, dte_t),

        (cdrwx->generic_t);



domain log_d = (/usr/sbin/syslogd),

        (crwd->log_t),

        (rwd->writable_t),

        (rd->generic_t, readable_t);



initial_domain = daemon_d;



assign -r writable_t /tmp,/usr/var,/dev;

assign -r readable_t /etc;

assign -r -s binaries_t /usr/local/bin,/usr/sbin,/usr/libexec,/usr/bin,/sbin,/bin;

assign -r -s dte_t /dte;

assign -r generic_t /;

assign -r log_t /usr/var/log;

**************************************************
Succeeded!
2015-02-24 16:45:16.557379: Switch to Type Graph
2015-02-24 16:45:28.186327: Switch to General Graph
2015-02-24 16:45:29.393393: Switch to Type Graph

--------------------Start DTEvisual--------------------
rover-251-124.rovernet.mtu.edu.6465.Feb-24-0447PM-2015
2015-02-24 16:47:56.324323: Switch to General Graph
2015-02-24 16:47:56.324765: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/sbin/init),

	(rwxcd->root_t),

	(rwxd->spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwd->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t),

	(rwxd->passwd_t, shadow_t, dev_t, w_t, config_t),

	(exec->user_d);

domain user_d = (/bin/{bash,tcsh}),

	(rwxcd->user_t),

	(rwxd->root_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxd->lib_t, binary_t, config_t);

domain ftpd_d = (/usr/sbin/inftpd),

	(rwcd->ftpd_t),

	(rwd->dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;

assign 		user_t 		/home, /scratch;

assign 		spool_t 	/tmp, /var;

assign 		dev_t		/dev;

assign 		binary_t	/usr/sbin;

assign -r 	ftpd_t 		/home/ftp;

assign -r	ftpd_xt		/home/ftp/bin;

assign -r 	lib_t 		/lib;

assign		passwd_t	/etc/passwd;

assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign -r	config_t	/etc;

assign -r 	root_t		/;









**************************************************
Succeeded!
2015-02-24 16:47:57.978019: Switch to Type Graph
2015-02-24 16:48:06.881931: Switch to General Graph
2015-02-24 16:48:07.437406: Switch to Type Graph

--------------------Start DTEvisual--------------------
rover-251-124.rovernet.mtu.edu.6528.Feb-24-0503PM-2015
Failed!

--------------------Start DTEvisual--------------------
rover-251-124.rovernet.mtu.edu.6556.Feb-24-0509PM-2015
Failed!

--------------------Start DTEvisual--------------------
rover-251-124.rovernet.mtu.edu.6557.Feb-24-0511PM-2015
2015-02-24 17:11:38.099178: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/sbin/init),

	(rwxcd->root_t),

	(rwxd->spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwd->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t),

	(rwxd->passwd_t, shadow_t, dev_t, w_t, config_t),

	(exec->user_d);

domain user_d = (/bin/{bash,tcsh}),

	(rwxcd->user_t),

	(rwxd->root_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxd->lib_t, binary_t, config_t);

domain ftpd_d = (/usr/sbin/inftpd),

	(rwcd->ftpd_t),

	(rwd->dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;

assign 		user_t 		/home, /scratch;

assign 		spool_t 	/tmp, /var;

assign 		dev_t		/dev;

assign 		binary_t	/usr/sbin;

assign -r 	ftpd_t 		/home/ftp;

assign -r	ftpd_xt		/home/ftp/bin;

assign -r 	lib_t 		/lib;

assign		passwd_t	/etc/passwd;

assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign -r	config_t	/etc;

assign -r 	root_t		/;









**************************************************
Succeeded!
2015-02-24 17:11:39.450306: Switch to Type Graph

--------------------Start DTEvisual--------------------
rover-251-124.rovernet.mtu.edu.6572.Feb-24-0513PM-2015
2015-02-24 17:13:25.201735: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/sbin/init),

	(rwxcd->root_t),

	(rwxd->spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwd->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t),

	(rwxd->passwd_t, shadow_t, dev_t, w_t, config_t),

	(exec->user_d);

domain user_d = (/bin/{bash,tcsh}),

	(rwxcd->user_t),

	(rwxd->root_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxd->lib_t, binary_t, config_t);

domain ftpd_d = (/usr/sbin/inftpd),

	(rwcd->ftpd_t),

	(rwd->dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;

assign 		user_t 		/home, /scratch;

assign 		spool_t 	/tmp, /var;

assign 		dev_t		/dev;

assign 		binary_t	/usr/sbin;

assign -r 	ftpd_t 		/home/ftp;

assign -r	ftpd_xt		/home/ftp/bin;

assign -r 	lib_t 		/lib;

assign		passwd_t	/etc/passwd;

assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign -r	config_t	/etc;

assign -r 	root_t		/;









**************************************************
Succeeded!
2015-02-24 17:13:25.848362: Switch to Type Graph
2015-02-24 17:13:31.328341: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/firstExample.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t;

domain daemon_d = (  /sbin/init),

        (dr->generic_t,readable_t,dte_t),

        (drx->sysbin_t),

        (cdrw->writable_t),

        (auto->login_d);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->readable_t,generic_t,dte_t),

        (exec->user_d,admin_d);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t);

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->writable_t,sysbin_t,dte_t,readable_t),

        (cdrwx->generic_t);



initial_domain = daemon_d;



assign -r generic_t /;

assign -r readable_t /etc;

assign -r -s dte_t /dte;

assign -r writable_t /usr/var,/dev,/tmp;

assign -r -s sysbin_t /usr/bin,/usr/sysbin,/sbin,/bin;
**************************************************
Succeeded!
2015-02-24 17:13:32.119990: Switch to Type Graph
2015-02-24 17:14:42.253265: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/hwexample.dte
**************************************************
type generic_t,binaries_t,readable_t,writable_t,dte_t, log_t;

domain daemon_d = (/sbin/init),

        (cdrw->writable_t),

        (dr->generic_t,readable_t),

        (drx->binaries_t),

        (auto->login_d, log_d);



domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->generic_t,dte_t,readable_t),

        (exec->admin_d,user_d);



domain user_d = (/usr/bin/{sh,csh,tcsh}),

        (drx->binaries_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);



domain admin_d = (/usr/bin/{sh,csh,tcsh}),

        (drwx->binaries_t,writable_t,readable_t, dte_t),

        (cdrwx->generic_t);



domain log_d = (/usr/sbin/syslogd),

        (crwd->log_t),

        (rwd->writable_t),

        (rd->generic_t, readable_t);



initial_domain = daemon_d;



assign -r writable_t /tmp,/usr/var,/dev;

assign -r readable_t /etc;

assign -r -s binaries_t /usr/local/bin,/usr/sbin,/usr/libexec,/usr/bin,/sbin,/bin;

assign -r -s dte_t /dte;

assign -r generic_t /;

assign -r log_t /usr/var/log;

**************************************************
Succeeded!
2015-02-24 17:14:43.575827: Switch to Type Graph

--------------------Start DTEvisual--------------------
rover-251-124.rovernet.mtu.edu.6621.Feb-24-0521PM-2015
2015-02-24 17:21:39.203719: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/hwexample.dte
**************************************************
type generic_t,binaries_t,readable_t,writable_t,dte_t, log_t;

domain daemon_d = (/sbin/init),

        (cdrw->writable_t),

        (dr->generic_t,readable_t),

        (drx->binaries_t),

        (auto->login_d, log_d);



domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->generic_t,dte_t,readable_t),

        (exec->admin_d,user_d);



domain user_d = (/usr/bin/{sh,csh,tcsh}),

        (drx->binaries_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);



domain admin_d = (/usr/bin/{sh,csh,tcsh}),

        (drwx->binaries_t,writable_t,readable_t, dte_t),

        (cdrwx->generic_t);



domain log_d = (/usr/sbin/syslogd),

        (crwd->log_t),

        (rwd->writable_t),

        (rd->generic_t, readable_t);



initial_domain = daemon_d;



assign -r writable_t /tmp,/usr/var,/dev;

assign -r readable_t /etc;

assign -r -s binaries_t /usr/local/bin,/usr/sbin,/usr/libexec,/usr/bin,/sbin,/bin;

assign -r -s dte_t /dte;

assign -r generic_t /;

assign -r log_t /usr/var/log;

**************************************************
Succeeded!
2015-02-24 17:21:40.546856: Switch to Type Graph

--------------------Start DTEvisual--------------------
rover-251-124.rovernet.mtu.edu.6742.Feb-24-0556PM-2015
2015-02-24 17:56:13.254715: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/hwexample.dte
**************************************************
type generic_t,binaries_t,readable_t,writable_t,dte_t, log_t;

domain daemon_d = (/sbin/init),

        (cdrw->writable_t),

        (dr->generic_t,readable_t),

        (drx->binaries_t),

        (auto->login_d, log_d);



domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->generic_t,dte_t,readable_t),

        (exec->admin_d,user_d);



domain user_d = (/usr/bin/{sh,csh,tcsh}),

        (drx->binaries_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);



domain admin_d = (/usr/bin/{sh,csh,tcsh}),

        (drwx->binaries_t,writable_t,readable_t, dte_t),

        (cdrwx->generic_t);



domain log_d = (/usr/sbin/syslogd),

        (crwd->log_t),

        (rwd->writable_t),

        (rd->generic_t, readable_t);



initial_domain = daemon_d;



assign -r generic_t /;

assign -r -s dte_t /dte;

assign -r writable_t /tmp,/usr/var,/dev;

assign -r readable_t /etc;

assign -r -s binaries_t /usr/local/bin,/usr/sbin,/usr/libexec,/usr/bin,/sbin,/bin;

assign -r log_t /usr/var/log;

**************************************************
Succeeded!
2015-02-24 17:56:14.697294: Switch to Type Graph

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.7737.Feb-24-1125PM-2015
2015-02-24 23:26:20.011959: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/sbin/init),

	(rwxcd->root_t),

	(rwxd->spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwd->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t),

	(rwxd->passwd_t, shadow_t, dev_t, w_t, config_t),

	(exec->user_d);

domain user_d = (/bin/{bash,tcsh}),

	(rwxcd->user_t),

	(rwxd->root_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxd->lib_t, binary_t, config_t);

domain ftpd_d = (/usr/sbin/inftpd),

	(rwcd->ftpd_t),

	(rwd->dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;

assign -r 	root_t		/;

assign 		user_t 		/home, /scratch;

assign 		spool_t 	/tmp, /var;

assign 		dev_t		/dev;

assign 		binary_t	/usr/sbin;

assign -r 	ftpd_t 		/home/ftp;

assign -r	ftpd_xt		/home/ftp/bin;

assign -r 	lib_t 		/lib;

assign		passwd_t	/etc/passwd;

assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign -r	config_t	/etc;











**************************************************
Succeeded!
2015-02-24 23:26:21.289818: Switch to Type Graph

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.7753.Feb-24-1128PM-2015
2015-02-24 23:28:33.087223: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy1.dte
**************************************************
type ftpd_xt,ftpd_t,config_t,dev_t,shadow_t,passwd_t,lib_t,binary_t,spool_t,user_t,login_t,root_t;

domain ftpd_d = (/usr/sbin/inftpd),

        (drx->ftpd_xt,lib_t),

        (d->spool_t),

        (cdrw->ftpd_t),

        (drw->dev_t),

        (r->shadow_t,passwd_t),

        (dr->user_t,config_t,root_t);

domain user_d = (/bin/{bash,tcsh}),

        (drx->binary_t,lib_t,config_t),

        (drwx->dev_t,passwd_t,spool_t,shadow_t,root_t),

        (cdrwx->user_t);

domain login_d = (/bin/login),

        (drx->root_t,lib_t,binary_t),

        (drwx->shadow_t,config_t,passwd_t,dev_t,spool_t),

        (cdrwx->login_t),

        (exec->user_d);

domain root_d = (/sbin/init),

        (drx->binary_t,lib_t),

        (drwx->dev_t,spool_t,shadow_t,config_t,user_t,passwd_t),

        (cdrwx->root_t),

        (drw->ftpd_t),

        (auto->ftpd_d,login_d);

initial_domain = root_d;



assign -r lib_t /lib/;

assign -r config_t /etc/;

assign  dev_t /dev;

assign  spool_t /tmp,/var;

assign  passwd_t /etc/passwd;

assign  binary_t /usr/sbin;

assign -r ftpd_t /home/ftp/;

assign  shadow_t /etc/shadow;

assign -r ftpd_xt /home/ftp/bin/;

assign  user_t /home,/scratch;

assign -r root_t /;



**************************************************
Succeeded!
2015-02-24 23:28:34.184547: Switch to Type Graph

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.7771.Feb-24-1130PM-2015
2015-02-24 23:30:34.092343: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy1.dte
**************************************************
type ftpd_xt,ftpd_t,config_t,dev_t,shadow_t,passwd_t,lib_t,binary_t,spool_t,user_t,login_t,root_t;

domain ftpd_d = (/usr/sbin/inftpd),

        (drx->ftpd_xt,lib_t),

        (d->spool_t),

        (cdrw->ftpd_t),

        (drw->dev_t),

        (r->shadow_t,passwd_t),

        (dr->user_t,config_t,root_t);

domain user_d = (/bin/{bash,tcsh}),

        (drx->binary_t,lib_t,config_t),

        (drwx->dev_t,passwd_t,spool_t,shadow_t,root_t),

        (cdrwx->user_t);

domain login_d = (/bin/login),

        (drx->root_t,lib_t,binary_t),

        (drwx->shadow_t,config_t,passwd_t,dev_t,spool_t),

        (cdrwx->login_t),

        (exec->user_d);

domain root_d = (/sbin/init),

        (drx->binary_t,lib_t),

        (drwx->dev_t,spool_t,shadow_t,config_t,user_t,passwd_t),

        (cdrwx->root_t),

        (drw->ftpd_t),

        (auto->ftpd_d,login_d);

initial_domain = root_d;



assign -r lib_t /lib/;

assign -r config_t /etc/;

assign  dev_t /dev;

assign  spool_t /tmp,/var;

assign  passwd_t /etc/passwd;

assign  binary_t /usr/sbin;

assign -r ftpd_t /home/ftp/;

assign  shadow_t /etc/shadow;

assign -r ftpd_xt /home/ftp/bin/;

assign  user_t /home,/scratch;

assign -r root_t /;



**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.7781.Feb-24-1131PM-2015
2015-02-24 23:31:25.090724: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy1.dte
**************************************************
type ftpd_xt,ftpd_t,config_t,dev_t,shadow_t,passwd_t,lib_t,binary_t,spool_t,user_t,login_t,root_t;

domain ftpd_d = (/usr/sbin/inftpd),

        (drx->ftpd_xt,lib_t),

        (d->spool_t),

        (cdrw->ftpd_t),

        (drw->dev_t),

        (r->shadow_t,passwd_t),

        (dr->user_t,config_t,root_t);

domain user_d = (/bin/{bash,tcsh}),

        (drx->binary_t,lib_t,config_t),

        (drwx->dev_t,passwd_t,spool_t,shadow_t,root_t),

        (cdrwx->user_t);

domain login_d = (/bin/login),

        (drx->root_t,lib_t,binary_t),

        (drwx->shadow_t,config_t,passwd_t,dev_t,spool_t),

        (cdrwx->login_t),

        (exec->user_d);

domain root_d = (/sbin/init),

        (drx->binary_t,lib_t),

        (drwx->dev_t,spool_t,shadow_t,config_t,user_t,passwd_t),

        (cdrwx->root_t),

        (drw->ftpd_t),

        (auto->ftpd_d,login_d);

initial_domain = root_d;



assign -r lib_t /lib/;

assign -r config_t /etc/;

assign  dev_t /dev;

assign  spool_t /tmp,/var;

assign  passwd_t /etc/passwd;

assign  binary_t /usr/sbin;

assign -r ftpd_t /home/ftp/;

assign  shadow_t /etc/shadow;

assign -r ftpd_xt /home/ftp/bin/;

assign  user_t /home,/scratch;

assign -r root_t /;



**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.7783.Feb-24-1131PM-2015
2015-02-24 23:31:59.395558: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy1.dte
**************************************************
type ftpd_xt,ftpd_t,config_t,dev_t,shadow_t,passwd_t,lib_t,binary_t,spool_t,user_t,login_t,root_t;

domain ftpd_d = (/usr/sbin/inftpd),

        (drx->ftpd_xt,lib_t),

        (d->spool_t),

        (cdrw->ftpd_t),

        (drw->dev_t),

        (r->shadow_t,passwd_t),

        (dr->user_t,config_t,root_t);

domain user_d = (/bin/{bash,tcsh}),

        (drx->binary_t,lib_t,config_t),

        (drwx->dev_t,passwd_t,spool_t,shadow_t,root_t),

        (cdrwx->user_t);

domain login_d = (/bin/login),

        (drx->root_t,lib_t,binary_t),

        (drwx->shadow_t,config_t,passwd_t,dev_t,spool_t),

        (cdrwx->login_t),

        (exec->user_d);

domain root_d = (/sbin/init),

        (drx->binary_t,lib_t),

        (drwx->dev_t,spool_t,shadow_t,config_t,user_t,passwd_t),

        (cdrwx->root_t),

        (drw->ftpd_t),

        (auto->ftpd_d,login_d);

initial_domain = root_d;



assign -r lib_t /lib/;

assign -r config_t /etc/;

assign  dev_t /dev;

assign  spool_t /tmp,/var;

assign  passwd_t /etc/passwd;

assign  binary_t /usr/sbin;

assign -r ftpd_t /home/ftp/;

assign  shadow_t /etc/shadow;

assign -r ftpd_xt /home/ftp/bin/;

assign  user_t /home,/scratch;

assign -r root_t /;



**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.7790.Feb-24-1135PM-2015
2015-02-24 23:35:42.242908: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy1.dte
**************************************************
type ftpd_xt,ftpd_t,config_t,dev_t,shadow_t,passwd_t,lib_t,binary_t,spool_t,user_t,login_t,root_t;

domain ftpd_d = (/usr/sbin/inftpd),

        (drx->ftpd_xt,lib_t),

        (d->spool_t),

        (cdrw->ftpd_t),

        (drw->dev_t),

        (r->shadow_t,passwd_t),

        (dr->user_t,config_t,root_t);

domain user_d = (/bin/{bash,tcsh}),

        (drx->binary_t,lib_t,config_t),

        (drwx->dev_t,passwd_t,spool_t,shadow_t,root_t),

        (cdrwx->user_t);

domain login_d = (/bin/login),

        (drx->root_t,lib_t,binary_t),

        (drwx->shadow_t,config_t,passwd_t,dev_t,spool_t),

        (cdrwx->login_t),

        (exec->user_d);

domain root_d = (/sbin/init),

        (drx->binary_t,lib_t),

        (drwx->dev_t,spool_t,shadow_t,config_t,user_t,passwd_t),

        (cdrwx->root_t),

        (drw->ftpd_t),

        (auto->ftpd_d,login_d);

initial_domain = root_d;



assign -r lib_t /lib/;

assign -r config_t /etc/;

assign  dev_t /dev;

assign  spool_t /tmp,/var;

assign  passwd_t /etc/passwd;

assign  binary_t /usr/sbin;

assign -r ftpd_t /home/ftp/;

assign  shadow_t /etc/shadow;

assign -r ftpd_xt /home/ftp/bin/;

assign  user_t /home,/scratch;

assign -r root_t /;



**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.7801.Feb-24-1138PM-2015
2015-02-24 23:38:35.258058: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/sbin/init),

	(rwxcd->root_t),

	(rwxd->spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwd->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t),

	(rwxd->passwd_t, shadow_t, dev_t, w_t, config_t),

	(exec->user_d);

domain user_d = (/bin/{bash,tcsh}),

	(rwxcd->user_t),

	(rwxd->root_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxd->lib_t, binary_t, config_t);

domain ftpd_d = (/usr/sbin/inftpd),

	(rwcd->ftpd_t),

	(rwd->dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;

assign -r 	root_t		/;

assign 		user_t 		/home, /scratch;

assign 		spool_t 	/tmp, /var;

assign 		dev_t		/dev;

assign 		binary_t	/usr/sbin;

assign -r 	ftpd_t 		/home/ftp;

assign -r	ftpd_xt		/home/ftp/bin;

assign -r 	lib_t 		/lib;

assign		passwd_t	/etc/passwd;

assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign -r	config_t	/etc;











**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.7817.Feb-24-1145PM-2015
2015-02-24 23:46:05.871089: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/sbin/init),

	(rwxcd->root_t),

	(rwxd->spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwd->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t),

	(rwxd->passwd_t, shadow_t, dev_t, w_t, config_t),

	(exec->user_d);

domain user_d = (/bin/{bash,tcsh}),

	(rwxcd->user_t),

	(rwxd->root_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxd->lib_t, binary_t, config_t);

domain ftpd_d = (/usr/sbin/inftpd),

	(rwcd->ftpd_t),

	(rwd->dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;

assign -r 	root_t		/;

assign 		user_t 		/home, /scratch;

assign 		spool_t 	/tmp, /var;

assign 		dev_t		/dev;

assign 		binary_t	/usr/sbin;

assign -r 	ftpd_t 		/home/ftp;

assign -r	ftpd_xt		/home/ftp/bin;

assign -r 	lib_t 		/lib;

assign		passwd_t	/etc/passwd;

assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign -r	config_t	/etc;











**************************************************
Succeeded!
2015-02-24 23:46:07.172310: Switch to Type Graph
2015-02-24 23:46:08.889398: Switch to General Graph

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.7849.Feb-24-1148PM-2015
2015-02-24 23:48:47.936714: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/sbin/init),

	(rwxcd->root_t),

	(rwxd->spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwd->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t),

	(rwxd->passwd_t, shadow_t, dev_t, w_t, config_t),

	(exec->user_d);

domain user_d = (/bin/{bash,tcsh}),

	(rwxcd->user_t),

	(rwxd->root_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxd->lib_t, binary_t, config_t);

domain ftpd_d = (/usr/sbin/inftpd),

	(rwcd->ftpd_t),

	(rwd->dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;

assign -r 	root_t		/;

assign 		user_t 		/home, /scratch;

assign 		spool_t 	/tmp, /var;

assign 		dev_t		/dev;

assign 		binary_t	/usr/sbin;

assign -r 	ftpd_t 		/home/ftp;

assign -r	ftpd_xt		/home/ftp/bin;

assign -r 	lib_t 		/lib;

assign		passwd_t	/etc/passwd;

assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign -r	config_t	/etc;











**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.7857.Feb-24-1149PM-2015
2015-02-24 23:49:23.351508: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy1.dte
**************************************************
type ftpd_xt,ftpd_t,config_t,dev_t,shadow_t,passwd_t,lib_t,binary_t,spool_t,user_t,login_t,root_t;

domain ftpd_d = (/usr/sbin/inftpd),

        (drx->ftpd_xt,lib_t),

        (d->spool_t),

        (cdrw->ftpd_t),

        (drw->dev_t),

        (r->shadow_t,passwd_t),

        (dr->user_t,config_t,root_t);

domain user_d = (/bin/{bash,tcsh}),

        (drx->binary_t,lib_t,config_t),

        (drwx->dev_t,passwd_t,spool_t,shadow_t,root_t),

        (cdrwx->user_t);

domain login_d = (/bin/login),

        (drx->root_t,lib_t,binary_t),

        (drwx->shadow_t,config_t,passwd_t,dev_t,spool_t),

        (cdrwx->login_t),

        (exec->user_d);

domain root_d = (/sbin/init),

        (drx->binary_t,lib_t),

        (drwx->dev_t,spool_t,shadow_t,config_t,user_t,passwd_t),

        (cdrwx->root_t),

        (drw->ftpd_t),

        (auto->ftpd_d,login_d);

initial_domain = root_d;



assign -r lib_t /lib/;

assign -r config_t /etc/;

assign  dev_t /dev;

assign  spool_t /tmp,/var;

assign  passwd_t /etc/passwd;

assign  binary_t /usr/sbin;

assign -r ftpd_t /home/ftp/;

assign  shadow_t /etc/shadow;

assign -r ftpd_xt /home/ftp/bin/;

assign  user_t /home,/scratch;

assign -r root_t /;



**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.7860.Feb-24-1152PM-2015
2015-02-24 23:52:33.429903: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy1.dte
**************************************************
type ftpd_xt,ftpd_t,config_t,dev_t,shadow_t,passwd_t,lib_t,binary_t,spool_t,user_t,login_t,root_t;

domain ftpd_d = (/usr/sbin/inftpd),

        (drx->ftpd_xt,lib_t),

        (d->spool_t),

        (cdrw->ftpd_t),

        (drw->dev_t),

        (r->shadow_t,passwd_t),

        (dr->user_t,config_t,root_t);

domain user_d = (/bin/{bash,tcsh}),

        (drx->binary_t,lib_t,config_t),

        (drwx->dev_t,passwd_t,spool_t,shadow_t,root_t),

        (cdrwx->user_t);

domain login_d = (/bin/login),

        (drx->root_t,lib_t,binary_t),

        (drwx->shadow_t,config_t,passwd_t,dev_t,spool_t),

        (cdrwx->login_t),

        (exec->user_d);

domain root_d = (/sbin/init),

        (drx->binary_t,lib_t),

        (drwx->dev_t,spool_t,shadow_t,config_t,user_t,passwd_t),

        (cdrwx->root_t),

        (drw->ftpd_t),

        (auto->ftpd_d,login_d);

initial_domain = root_d;



assign -r lib_t /lib/;

assign -r config_t /etc/;

assign  dev_t /dev;

assign  spool_t /tmp,/var;

assign  passwd_t /etc/passwd;

assign  binary_t /usr/sbin;

assign -r ftpd_t /home/ftp/;

assign  shadow_t /etc/shadow;

assign -r ftpd_xt /home/ftp/bin/;

assign  user_t /home,/scratch;

assign -r root_t /;



**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.7869.Feb-24-1154PM-2015
2015-02-24 23:56:06.054469: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/hwexample.dte
**************************************************
type generic_t,binaries_t,readable_t,writable_t,dte_t, log_t;

domain daemon_d = (/sbin/init),

        (cdrw->writable_t),

        (dr->generic_t,readable_t),

        (drx->binaries_t),

        (auto->login_d, log_d);



domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->generic_t,dte_t,readable_t),

        (exec->admin_d,user_d);



domain user_d = (/usr/bin/{sh,csh,tcsh}),

        (drx->binaries_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);



domain admin_d = (/usr/bin/{sh,csh,tcsh}),

        (drwx->binaries_t,writable_t,readable_t, dte_t),

        (cdrwx->generic_t);



domain log_d = (/usr/sbin/syslogd),

        (crwd->log_t),

        (rwd->writable_t),

        (rd->generic_t, readable_t);



initial_domain = daemon_d;



assign -r generic_t /;

assign -r -s dte_t /dte;

assign -r writable_t /tmp,/usr/var,/dev;

assign -r readable_t /etc;

assign -r -s binaries_t /usr/local/bin,/usr/sbin,/usr/libexec,/usr/bin,/sbin,/bin;

assign -r log_t /usr/var/log;

**************************************************
Succeeded!
2015-02-24 23:56:07.298356: Switch to Type Graph

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.7908.Feb-25-1202AM-2015
2015-02-25 00:02:50.174860: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/hwexample.dte
**************************************************
type generic_t,binaries_t,readable_t,writable_t,dte_t, log_t;

domain daemon_d = (/sbin/init),

        (cdrw->writable_t),

        (dr->generic_t,readable_t),

        (drx->binaries_t),

        (auto->login_d, log_d);



domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->generic_t,dte_t,readable_t),

        (exec->admin_d,user_d);



domain user_d = (/usr/bin/{sh,csh,tcsh}),

        (drx->binaries_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);



domain admin_d = (/usr/bin/{sh,csh,tcsh}),

        (drwx->binaries_t,writable_t,readable_t, dte_t),

        (cdrwx->generic_t);



domain log_d = (/usr/sbin/syslogd),

        (crwd->log_t),

        (rwd->writable_t),

        (rd->generic_t, readable_t);



initial_domain = daemon_d;



assign -r generic_t /;

assign -r -s dte_t /dte;

assign -r writable_t /tmp,/usr/var,/dev;

assign -r readable_t /etc;

assign -r -s binaries_t /usr/local/bin,/usr/sbin,/usr/libexec,/usr/bin,/sbin,/bin;

assign -r log_t /usr/var/log;

**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.7981.Feb-25-1219AM-2015
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.7984.Feb-25-1221AM-2015
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.7995.Feb-25-1224AM-2015
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.7997.Feb-25-1225AM-2015
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.7999.Feb-25-1227AM-2015
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8019.Feb-25-1230AM-2015
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8029.Feb-25-1231AM-2015
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8034.Feb-25-1232AM-2015
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8036.Feb-25-1232AM-2015
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8039.Feb-25-1233AM-2015
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8045.Feb-25-1234AM-2015
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8050.Feb-25-1238AM-2015
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8056.Feb-25-1239AM-2015
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8063.Feb-25-1245AM-2015
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8075.Feb-25-1247AM-2015
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8085.Feb-25-1248AM-2015
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8132.Feb-25-1249AM-2015
2015-02-25 00:49:43.512627: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/sbin/init),

	(rwxcd->root_t),

	(rwxd->spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwd->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t),

	(rwxd->passwd_t, shadow_t, dev_t, w_t, config_t),

	(exec->user_d);

domain user_d = (/bin/{bash,tcsh}),

	(rwxcd->user_t),

	(rwxd->root_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxd->lib_t, binary_t, config_t);

domain ftpd_d = (/usr/sbin/inftpd),

	(rwcd->ftpd_t),

	(rwd->dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;

assign -r 	root_t		/;

assign 		user_t 		/home, /scratch;

assign 		spool_t 	/tmp, /var;

assign 		dev_t		/dev;

assign 		binary_t	/usr/sbin;

assign -r 	ftpd_t 		/home/ftp;

assign -r	ftpd_xt		/home/ftp/bin;

assign -r 	lib_t 		/lib;

assign		passwd_t	/etc/passwd;

assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign -r	config_t	/etc;











**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8155.Feb-25-1250AM-2015
2015-02-25 00:51:01.498405: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/sbin/init),

	(rwxcd->root_t),

	(rwxd->spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwd->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t),

	(rwxd->passwd_t, shadow_t, dev_t, w_t, config_t),

	(exec->user_d);

domain user_d = (/bin/{bash,tcsh}),

	(rwxcd->user_t),

	(rwxd->root_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxd->lib_t, binary_t, config_t);

domain ftpd_d = (/usr/sbin/inftpd),

	(rwcd->ftpd_t),

	(rwd->dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;

assign -r 	root_t		/;

assign 		user_t 		/home, /scratch;

assign 		spool_t 	/tmp, /var;

assign 		dev_t		/dev;

assign 		binary_t	/usr/sbin;

assign -r 	ftpd_t 		/home/ftp;

assign -r	ftpd_xt		/home/ftp/bin;

assign -r 	lib_t 		/lib;

assign		passwd_t	/etc/passwd;

assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign -r	config_t	/etc;











**************************************************
Succeeded!
2015-02-25 01:11:45.189945: Switch to Type Graph

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8236.Feb-25-0121AM-2015

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8237.Feb-25-0121AM-2015
2015-02-25 01:22:07.317976: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/sbin/init),

	(rwxcd->root_t),

	(rwxd->spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwd->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t),

	(rwxd->passwd_t, shadow_t, dev_t, w_t, config_t),

	(exec->user_d);

domain user_d = (/bin/{bash,tcsh}),

	(rwxcd->user_t),

	(rwxd->root_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxd->lib_t, binary_t, config_t);

domain ftpd_d = (/usr/sbin/inftpd),

	(rwcd->ftpd_t),

	(rwd->dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;

assign -r 	root_t		/;

assign 		user_t 		/home, /scratch;

assign 		spool_t 	/tmp, /var;

assign 		dev_t		/dev;

assign 		binary_t	/usr/sbin;

assign -r 	ftpd_t 		/home/ftp;

assign -r	ftpd_xt		/home/ftp/bin;

assign -r 	lib_t 		/lib;

assign		passwd_t	/etc/passwd;

assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign -r	config_t	/etc/wtmp;











**************************************************
Succeeded!
2015-02-25 01:22:08.649975: Switch to Type Graph

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8244.Feb-25-0126AM-2015
2015-02-25 01:26:19.912536: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/sbin/init),

	(rwxcd->root_t),

	(rwxd->spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwd->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t),

	(rwxd->passwd_t, shadow_t, dev_t, w_t, config_t),

	(exec->user_d);

domain user_d = (/bin/{bash,tcsh}),

	(rwxcd->user_t),

	(rwxd->root_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxd->lib_t, binary_t, config_t);

domain ftpd_d = (/usr/sbin/inftpd),

	(rwcd->ftpd_t),

	(rwd->dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;

assign -r 	root_t		/;

assign 		user_t 		/home, /scratch;

assign 		spool_t 	/tmp, /var;

assign 		dev_t		/dev;

assign 		binary_t	/usr/sbin;

assign -r 	ftpd_t 		/home/ftp;

assign -r	ftpd_xt		/home/ftp/bin;

assign -r 	lib_t 		/lib;

assign		passwd_t	/etc/passwd;

assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign -r	config_t	/etc/wtmp;











**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8246.Feb-25-0126AM-2015
2015-02-25 01:26:51.378091: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/sbin/init),

	(rwxcd->root_t),

	(rwxd->spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwd->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t),

	(rwxd->passwd_t, shadow_t, dev_t, w_t, config_t),

	(exec->user_d);

domain user_d = (/bin/{bash,tcsh}),

	(rwxcd->user_t),

	(rwxd->root_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxd->lib_t, binary_t, config_t);

domain ftpd_d = (/usr/sbin/inftpd),

	(rwcd->ftpd_t),

	(rwd->dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;

assign -r 	root_t		/;

assign 		user_t 		/home, /scratch;

assign 		spool_t 	/tmp, /var;

assign 		dev_t		/dev;

assign 		binary_t	/usr/sbin;

assign -r 	ftpd_t 		/home/ftp;

assign -r	ftpd_xt		/home/ftp/bin;

assign -r 	lib_t 		/lib;

assign		passwd_t	/etc/passwd;

assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign -r	config_t	/etc/wtmp;











**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8359.Feb-25-0152AM-2015
2015-02-25 01:53:06.719618: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;



domain root_d = (/sbin/init),

	(rwxcd->root_t),

	(rwxd->spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),

	(rwd->ftpd_t),

	(rxd->lib_t, binary_t),

	(auto->login_d, ftpd_d);

domain login_d = (/bin/login),

	(rxd->root_t, lib_t, binary_t),

	(rwxcd->spool_t),

	(rwxd->passwd_t, shadow_t, dev_t, w_t, config_t),

	(exec->user_d);

domain user_d = (/bin/{bash,tcsh}),

	(rwxcd->user_t),

	(rwxd->root_t, spool_t, passwd_t, shadow_t, dev_t, w_t),

	(rxd->lib_t, binary_t, config_t);

domain ftpd_d = (/usr/sbin/inftpd),

	(rwcd->ftpd_t),

	(rwd->dev_t, w_t),

	(rd->user_t, root_t, config_t),

	(rxd->lib_t, ftpd_xt),

	(r->passwd_t, shadow_t),

	(d->spool_t);

initial_domain = root_d;

assign -r 	root_t		/;

assign 		user_t 		/home, /scratch;

assign 		spool_t 	/tmp, /var;

assign 		dev_t		/dev;

assign 		binary_t	/usr/sbin;

assign -r 	ftpd_t 		/home/ftp;

assign -r	ftpd_xt		/home/ftp/bin;

assign -r 	lib_t 		/lib;

assign		passwd_t	/etc/passwd;

assign 		shadow_t	/etc/shadow;

assign		w_t			/var/log/wtmp, /var/run/utmp;

assign -r	config_t	/etc/wtmp;











**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8363.Feb-25-0153AM-2015
2015-02-25 01:53:41.092210: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy1.dte
**************************************************
type ftpd_xt,ftpd_t,config_t,dev_t,shadow_t,passwd_t,lib_t,binary_t,spool_t,user_t,login_t,root_t;

domain ftpd_d = (/usr/sbin/inftpd),

        (drx->ftpd_xt,lib_t),

        (d->spool_t),

        (cdrw->ftpd_t),

        (drw->dev_t),

        (r->shadow_t,passwd_t),

        (dr->user_t,config_t,root_t);

domain user_d = (/bin/{bash,tcsh}),

        (drx->binary_t,lib_t,config_t),

        (drwx->dev_t,passwd_t,spool_t,shadow_t,root_t),

        (cdrwx->user_t);

domain login_d = (/bin/login),

        (drx->root_t,lib_t,binary_t),

        (drwx->shadow_t,config_t,passwd_t,dev_t,spool_t),

        (cdrwx->login_t),

        (exec->user_d);

domain root_d = (/sbin/init),

        (drx->binary_t,lib_t),

        (drwx->dev_t,spool_t,shadow_t,config_t,user_t,passwd_t),

        (cdrwx->root_t),

        (drw->ftpd_t),

        (auto->ftpd_d,login_d);

initial_domain = root_d;



assign -r lib_t /lib/;

assign -r config_t /etc/;

assign  dev_t /dev;

assign  spool_t /tmp,/var;

assign  passwd_t /etc/passwd;

assign  binary_t /usr/sbin;

assign -r ftpd_t /home/ftp/;

assign  shadow_t /etc/shadow;

assign -r ftpd_xt /home/ftp/bin/;

assign  user_t /home,/scratch;

assign -r root_t /;



**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8370.Feb-25-0156AM-2015
2015-02-25 01:57:00.655302: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy1.dte
**************************************************
type ftpd_xt,ftpd_t,config_t,dev_t,shadow_t,passwd_t,lib_t,binary_t,spool_t,user_t,login_t,root_t;

domain ftpd_d = (/usr/sbin/inftpd),

        (drx->ftpd_xt,lib_t),

        (d->spool_t),

        (cdrw->ftpd_t),

        (drw->dev_t),

        (r->shadow_t,passwd_t),

        (dr->user_t,config_t,root_t);

domain user_d = (/bin/{bash,tcsh}),

        (drx->binary_t,lib_t,config_t),

        (drwx->dev_t,passwd_t,spool_t,shadow_t,root_t),

        (cdrwx->user_t);

domain login_d = (/bin/login),

        (drx->root_t,lib_t,binary_t),

        (drwx->shadow_t,config_t,passwd_t,dev_t,spool_t),

        (cdrwx->login_t),

        (exec->user_d);

domain root_d = (/sbin/init),

        (drx->binary_t,lib_t),

        (drwx->dev_t,spool_t,shadow_t,config_t,user_t,passwd_t),

        (cdrwx->root_t),

        (drw->ftpd_t),

        (auto->ftpd_d,login_d);

initial_domain = root_d;



assign -r lib_t /lib/;

assign -r config_t /etc/;

assign  dev_t /dev;

assign  spool_t /tmp,/var;

assign  passwd_t /etc/passwd;

assign  binary_t /usr/sbin;

assign -r ftpd_t /home/ftp/;

assign  shadow_t /etc/shadow;

assign -r ftpd_xt /home/ftp/bin/;

assign  user_t /home,/scratch;

assign -r root_t /;



**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8410.Feb-25-0208AM-2015
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8422.Feb-25-0209AM-2015
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8423.Feb-25-0210AM-2015
2015-02-25 02:10:14.153324: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy1.dte
**************************************************
type ftpd_xt,ftpd_t,config_t,dev_t,shadow_t,passwd_t,lib_t,binary_t,spool_t,user_t,login_t,root_t;

domain ftpd_d = (/usr/sbin/inftpd),

        (drx->ftpd_xt,lib_t),

        (d->spool_t),

        (cdrw->ftpd_t),

        (drw->dev_t),

        (r->shadow_t,passwd_t),

        (dr->user_t,config_t,root_t);

domain user_d = (/bin/{bash,tcsh}),

        (drx->binary_t,lib_t,config_t),

        (drwx->dev_t,passwd_t,spool_t,shadow_t,root_t),

        (cdrwx->user_t);

domain login_d = (/bin/login),

        (drx->root_t,lib_t,binary_t),

        (drwx->shadow_t,config_t,passwd_t,dev_t,spool_t),

        (cdrwx->login_t),

        (exec->user_d);

domain root_d = (/sbin/init),

        (drx->binary_t,lib_t),

        (drwx->dev_t,spool_t,shadow_t,config_t,user_t,passwd_t),

        (cdrwx->root_t),

        (drw->ftpd_t),

        (auto->ftpd_d,login_d);

initial_domain = root_d;



assign -r lib_t /lib/;

assign -r config_t /etc/;

assign  dev_t /dev;

assign  spool_t /tmp,/var;

assign  passwd_t /etc/passwd;

assign  binary_t /usr/sbin;

assign -r ftpd_t /home/ftp/;

assign  shadow_t /etc/shadow;

assign -r ftpd_xt /home/ftp/bin/;

assign  user_t /home,/scratch;

assign -r root_t /;



**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8425.Feb-25-0210AM-2015
2015-02-25 02:10:57.142447: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy1.dte
**************************************************
type ftpd_xt,ftpd_t,config_t,dev_t,shadow_t,passwd_t,lib_t,binary_t,spool_t,user_t,login_t,root_t;

domain ftpd_d = (/usr/sbin/inftpd),

        (drx->ftpd_xt,lib_t),

        (d->spool_t),

        (cdrw->ftpd_t),

        (drw->dev_t),

        (r->shadow_t,passwd_t),

        (dr->user_t,config_t,root_t);

domain user_d = (/bin/{bash,tcsh}),

        (drx->binary_t,lib_t,config_t),

        (drwx->dev_t,passwd_t,spool_t,shadow_t,root_t),

        (cdrwx->user_t);

domain login_d = (/bin/login),

        (drx->root_t,lib_t,binary_t),

        (drwx->shadow_t,config_t,passwd_t,dev_t,spool_t),

        (cdrwx->login_t),

        (exec->user_d);

domain root_d = (/sbin/init),

        (drx->binary_t,lib_t),

        (drwx->dev_t,spool_t,shadow_t,config_t,user_t,passwd_t),

        (cdrwx->root_t),

        (drw->ftpd_t),

        (auto->ftpd_d,login_d);

initial_domain = root_d;



assign -r lib_t /lib/;

assign -r config_t /etc/;

assign  dev_t /dev;

assign  spool_t /tmp,/var;

assign  passwd_t /etc/passwd;

assign  binary_t /usr/sbin;

assign -r ftpd_t /home/ftp/;

assign  shadow_t /etc/shadow;

assign -r ftpd_xt /home/ftp/bin/;

assign  user_t /home,/scratch;

assign -r root_t /;



**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8427.Feb-25-0211AM-2015
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8435.Feb-25-0213AM-2015
2015-02-25 02:13:37.016153: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy1.dte
**************************************************
type ftpd_xt,ftpd_t,config_t,dev_t,shadow_t,passwd_t,lib_t,binary_t,spool_t,user_t,login_t,root_t;



domain ftpd_d = (/usr/sbin/inftpd),



        (drx->ftpd_xt,lib_t),



        (d->spool_t),



        (cdrw->ftpd_t),



        (drw->dev_t),



        (r->shadow_t,passwd_t),



        (dr->user_t,config_t,root_t);



domain user_d = (/bin/{bash,tcsh}),



        (drx->binary_t,lib_t,config_t),



        (drwx->dev_t,passwd_t,spool_t,shadow_t,root_t),



        (cdrwx->user_t);



domain login_d = (/bin/login),



        (drx->root_t,lib_t,binary_t),



        (drwx->shadow_t,config_t,passwd_t,dev_t,spool_t),



        (cdrwx->login_t),



        (exec->user_d);



domain root_d = (/sbin/init),



        (drx->binary_t,lib_t),



        (drwx->dev_t,spool_t,shadow_t,config_t,user_t,passwd_t),



        (cdrwx->root_t),



        (drw->ftpd_t),



        (auto->ftpd_d,login_d);



initial_domain = root_d;







assign -r root_t /;

assign dev_t /dev;

assign spool_t /tmp;

assign spool_t /var;

assign user_t /home;

assign user_t /scratch;

assign -r lib_t /lib/;

assign -r config_t /etc/;

assign binary_t /usr/sbin;

assign passwd_t /etc/passwd;

assign shadow_t /etc/shadow;

assign -r ftpd_t /home/ftp/;

assign -r ftpd_xt /home/ftp/bin/;
**************************************************
Succeeded!
2015-02-25 02:13:38.295508: Switch to Type Graph
2015-02-25 02:13:46.786606: Switch to Type Graph
2015-02-25 02:14:18.277400: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;







domain root_d = (/sbin/init),



	(rwxcd->root_t),



	(rwxd->spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),



	(rwd->ftpd_t),



	(rxd->lib_t, binary_t),



	(auto->login_d, ftpd_d);



domain login_d = (/bin/login),



	(rxd->root_t, lib_t, binary_t),



	(rwxcd->spool_t),



	(rwxd->passwd_t, shadow_t, dev_t, w_t, config_t),



	(exec->user_d);



domain user_d = (/bin/{bash,tcsh}),



	(rwxcd->user_t),



	(rwxd->root_t, spool_t, passwd_t, shadow_t, dev_t, w_t),



	(rxd->lib_t, binary_t, config_t);



domain ftpd_d = (/usr/sbin/inftpd),



	(rwcd->ftpd_t),



	(rwd->dev_t, w_t),



	(rd->user_t, root_t, config_t),



	(rxd->lib_t, ftpd_xt),



	(r->passwd_t, shadow_t),



	(d->spool_t);



initial_domain = root_d;



assign -r root_t /;

assign spool_t /tmp;

assign spool_t /var;

assign dev_t /dev;

assign -r lib_t /lib;

assign user_t /home;

assign user_t /scratch;

assign binary_t /usr/sbin;

assign -r ftpd_t /home/ftp;

assign -r config_t /etc/wtmp;

assign passwd_t /etc/passwd;

assign shadow_t /etc/shadow;

assign -r ftpd_xt /home/ftp/bin;

assign w_t /var/log/wtmp;

assign w_t /var/run/utmp;
**************************************************
Succeeded!
2015-02-25 02:14:22.739938: Switch to Type Graph
2015-02-25 02:15:41.908009: Switch to General Graph
2015-02-25 02:15:42.362711: Switch to Type Graph
2015-02-25 02:18:54.885716: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/ftpd_protection_policy.dte
**************************************************
type root_t, login_t, user_t, spool_t, binary_t, lib_t, passwd_t, shadow_t, dev_t, config_t, ftpd_t, ftpd_xt, w_t;















domain root_d = (/sbin/init),







	(rwxcd->root_t),







	(rwxd->spool_t, user_t, passwd_t, shadow_t, dev_t, config_t, w_t),







	(rwd->ftpd_t),







	(rxd->lib_t, binary_t),







	(auto->login_d, ftpd_d);







domain login_d = (/bin/login),







	(rxd->root_t, lib_t, binary_t),







	(rwxcd->spool_t),







	(rwxd->passwd_t, shadow_t, dev_t, w_t, config_t),







	(exec->user_d);







domain user_d = (/bin/{bash,tcsh}),







	(rwxcd->user_t),







	(rwxd->root_t, spool_t, passwd_t, shadow_t, dev_t, w_t),







	(rxd->lib_t, binary_t, config_t);







domain ftpd_d = (/usr/sbin/inftpd),







	(rwcd->ftpd_t),







	(rwd->dev_t, w_t),







	(rd->user_t, root_t, config_t),







	(rxd->lib_t, ftpd_xt),







	(r->passwd_t, shadow_t),







	(d->spool_t);







initial_domain = root_d;







assign -r root_t /;

assign spool_t /tmp;

assign spool_t /var;

assign dev_t /dev;

assign -r lib_t /lib;

assign -r config_t /etc;

assign user_t /home;

assign user_t /scratch;

assign binary_t /usr/sbin;

assign -r ftpd_t /home/ftp;

assign passwd_t /etc/passwd;

assign shadow_t /etc/shadow;

assign w_t /var/run/utm;

assign -r ftpd_xt /home/ftp/bin;

assign w_t /var/log/wtmp;
**************************************************
Succeeded!
2015-02-25 02:18:56.555204: Switch to Type Graph

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8491.Feb-25-0221AM-2015
2015-02-25 02:22:05.464965: Import DTE spec file: /Users/manwang/Documents/security_proj/policies/hwexample.dte
**************************************************
type generic_t,binaries_t,readable_t,writable_t,dte_t, log_t;

domain daemon_d = (/sbin/init),

        (cdrw->writable_t),

        (dr->generic_t,readable_t),

        (drx->binaries_t),

        (auto->login_d, log_d);



domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->generic_t,dte_t,readable_t),

        (exec->admin_d,user_d);



domain user_d = (/usr/bin/{sh,csh,tcsh}),

        (drx->binaries_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);



domain admin_d = (/usr/bin/{sh,csh,tcsh}),

        (drwx->binaries_t,writable_t,readable_t, dte_t),

        (cdrwx->generic_t);



domain log_d = (/usr/sbin/syslogd),

        (crwd->log_t),

        (rwd->writable_t),

        (rd->generic_t, readable_t);



initial_domain = daemon_d;



assign -r generic_t /;

assign -r -s dte_t /dte;

assign -r writable_t /tmp,/usr/var,/dev;

assign -r readable_t /etc;

assign -r -s binaries_t /usr/local/bin,/usr/sbin,/usr/libexec,/usr/bin,/sbin,/bin;

assign -r log_t /usr/var/log;

**************************************************
Succeeded!
2015-02-25 02:22:09.115373: Switch to Type Graph
2015-02-25 02:22:43.290786: Run Query 0 with parameters /usr/bin/zip
2015-02-25 02:23:12.504993: Run Query 0 with parameters /usr/X11R6/bin/twm
2015-02-25 02:23:21.142563: Switch to Type Graph
2015-02-25 02:23:32.145619: Run Query 0 with parameters /usr/X11R6/bin/twm
2015-02-25 02:23:46.859241: Switch to Type Graph
2015-02-25 02:26:50.090945: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/hwexample.dte
**************************************************
type generic_t,binaries_t,readable_t,writable_t,dte_t, log_t;

domain daemon_d = (/sbin/init),

        (cdrw->writable_t),

        (dr->generic_t,readable_t),

        (drx->binaries_t),

        (auto->login_d, log_d);



domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->generic_t,dte_t,readable_t),

        (exec->admin_d,user_d);



domain user_d = (/usr/bin/{sh,csh,tcsh}),

        (drx->binaries_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);



domain admin_d = (/usr/bin/{sh,csh,tcsh}),

        (drwx->binaries_t,writable_t,readable_t, dte_t),

        (cdrwx->generic_t);



domain log_d = (/usr/sbin/syslogd),

        (crwd->log_t),

        (rwd->writable_t),

        (rd->generic_t, readable_t);



initial_domain = daemon_d;



assign -r generic_t /;

assign -r -s dte_t /dte;

assign -r writable_t /tmp,/usr/var,/dev;

assign -r readable_t /etc;

assign -r -s binaries_t /usr/local/bin,/usr/sbin,/usr/libexec,/usr/bin,/sbin,/bin;

assign -r log_t /usr/var/log;

**************************************************
Succeeded!
2015-02-25 02:26:51.542565: Switch to Type Graph
2015-02-25 02:29:27.517221: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/hwexample.dte
**************************************************
type generic_t,binaries_t,readable_t,writable_t,dte_t, log_t;

domain daemon_d = (/sbin/init),

        (cdrw->writable_t),

        (dr->generic_t,readable_t),

        (drx->binaries_t),

        (auto->login_d, log_d);



domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->generic_t,dte_t,readable_t),

        (exec->admin_d,user_d);



domain user_d = (/usr/bin/{sh,csh,tcsh}),

        (drx->binaries_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);



domain admin_d = (/usr/bin/{sh,csh,tcsh}),

        (drwx->binaries_t,writable_t,readable_t, dte_t),

        (cdrwx->generic_t);



domain log_d = (/usr/sbin/syslogd),

        (crwd->log_t),

        (rwd->writable_t),

        (rd->generic_t, readable_t);



initial_domain = daemon_d;



assign -r generic_t /;

assign -r -s dte_t /dte;

assign -r writable_t /tmp,/usr/var,/dev;

assign -r readable_t /etc;

assign -r -s binaries_t /usr/local/bin,/usr/sbin,/usr/libexec,/usr/bin,/sbin,/bin;

assign -r log_t /usr/var/log;

assign writable_t /usr/var/log/wtmp, /usr/var/log/utmp;

**************************************************
Succeeded!
2015-02-25 02:29:28.657199: Switch to Type Graph
2015-02-25 02:29:35.715392: Switch to General Graph
2015-02-25 02:29:36.289189: Switch to Type Graph
2015-02-25 02:29:49.375333: Run Query 0 with parameters /usr/X11R6/bin/twm
2015-02-25 02:29:56.448699: Run Query 0 with parameters /usr/X11R6/bin/twm
2015-02-25 02:32:18.838563: Run Query 0 with parameters /usr/X11R6/bin/twm
2015-02-25 02:32:24.328040: Switch to Type Graph

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8554.Feb-25-0243AM-2015
2015-02-25 02:43:43.400100: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/hwexample.dte
**************************************************
type generic_t,binaries_t,readable_t,writable_t,dte_t, log_t;

domain daemon_d = (/sbin/init),

        (cdrw->writable_t),

        (dr->generic_t,readable_t),

        (drx->binaries_t),

        (auto->login_d, log_d);



domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->generic_t,dte_t,readable_t),

        (exec->admin_d,user_d);



domain user_d = (/usr/bin/{sh,csh,tcsh}),

        (drx->binaries_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);



domain admin_d = (/usr/bin/{sh,csh,tcsh}),

        (drwx->binaries_t,writable_t,readable_t, dte_t),

        (cdrwx->generic_t);



domain log_d = (/usr/sbin/syslogd),

        (crwd->log_t),

        (rwd->writable_t),

        (rd->generic_t, readable_t);



initial_domain = daemon_d;



assign -r generic_t /;

assign -r -s dte_t /dte;

assign -r writable_t /tmp,/usr/var,/dev;

assign -r readable_t /etc;

assign -r -s binaries_t /usr/local/bin,/usr/sbin,/usr/libexec,/usr/bin,/sbin,/bin;

assign -r log_t /usr/var/log;

assign writable_t /usr/var/log/wtmp, /usr/var/log/utmp;

**************************************************
Succeeded!
2015-02-25 02:43:44.927738: Switch to Type Graph
2015-02-25 02:44:26.210234: Run Query 0 with parameters /usr/X11R6/bin/twm

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8565.Feb-25-0244AM-2015
2015-02-25 02:44:58.733589: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/hwexample.dte
**************************************************
type generic_t,binaries_t,readable_t,writable_t,dte_t, log_t;

domain daemon_d = (/sbin/init),

        (cdrw->writable_t),

        (dr->generic_t,readable_t),

        (drx->binaries_t),

        (auto->login_d, log_d);



domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->generic_t,dte_t,readable_t),

        (exec->admin_d,user_d);



domain user_d = (/usr/bin/{sh,csh,tcsh}),

        (drx->binaries_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);



domain admin_d = (/usr/bin/{sh,csh,tcsh}),

        (drwx->binaries_t,writable_t,readable_t, dte_t),

        (cdrwx->generic_t);



domain log_d = (/usr/sbin/syslogd),

        (crwd->log_t),

        (rwd->writable_t),

        (rd->generic_t, readable_t);



initial_domain = daemon_d;



assign -r generic_t /;

assign -r -s dte_t /dte;

assign -r writable_t /tmp,/usr/var,/dev;

assign -r readable_t /etc;

assign -r -s binaries_t /usr/local/bin,/usr/sbin,/usr/libexec,/usr/bin,/sbin,/bin;

assign -r log_t /usr/var/log;

assign writable_t /usr/var/log/wtmp, /usr/var/log/utmp;

**************************************************
Succeeded!
2015-02-25 02:45:30.905256: Run Query 0 with parameters /usr/X11R6/bin/twm

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8576.Feb-25-0246AM-2015
2015-02-25 02:46:58.902747: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/hwexample.dte
**************************************************
type generic_t,binaries_t,readable_t,writable_t,dte_t, log_t;

domain daemon_d = (/sbin/init),

        (cdrw->writable_t),

        (dr->generic_t,readable_t),

        (drx->binaries_t),

        (auto->login_d, log_d);



domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->generic_t,dte_t,readable_t),

        (exec->admin_d,user_d);



domain user_d = (/usr/bin/{sh,csh,tcsh}),

        (drx->binaries_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);



domain admin_d = (/usr/bin/{sh,csh,tcsh}),

        (drwx->binaries_t,writable_t,readable_t, dte_t),

        (cdrwx->generic_t);



domain log_d = (/usr/sbin/syslogd),

        (crwd->log_t),

        (rwd->writable_t),

        (rd->generic_t, readable_t);



initial_domain = daemon_d;



assign -r generic_t /;

assign -r -s dte_t /dte;

assign -r writable_t /tmp,/usr/var,/dev;

assign -r readable_t /etc;

assign -r -s binaries_t /usr/local/bin,/usr/sbin,/usr/libexec,/usr/bin,/sbin,/bin;

assign -r log_t /usr/var/log;

assign writable_t /usr/var/log/wtmp, /usr/var/log/utmp;

**************************************************
Succeeded!
2015-02-25 02:46:59.985150: Switch to Type Graph
2015-02-25 02:47:41.868389: Run Query 0 with parameters /usr/x11rb/bin/twm

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8591.Feb-25-0253AM-2015
2015-02-25 02:53:19.434357: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/hwexample.dte
**************************************************
type generic_t,binaries_t,readable_t,writable_t,dte_t, log_t;

domain daemon_d = (/sbin/init),

        (cdrw->writable_t),

        (dr->generic_t,readable_t),

        (drx->binaries_t),

        (auto->login_d, log_d);



domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->generic_t,dte_t,readable_t),

        (exec->admin_d,user_d);



domain user_d = (/usr/bin/{sh,csh,tcsh}),

        (drx->binaries_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);



domain admin_d = (/usr/bin/{sh,csh,tcsh}),

        (drwx->binaries_t,writable_t,readable_t, dte_t),

        (cdrwx->generic_t);



domain log_d = (/usr/sbin/syslogd),

        (crwd->log_t),

        (rwd->writable_t),

        (rd->generic_t, readable_t);



initial_domain = daemon_d;



assign -r generic_t /;

assign -r -s dte_t /dte;

assign -r writable_t /tmp,/usr/var,/dev;

assign -r readable_t /etc;

assign -r -s binaries_t /usr/local/bin,/usr/sbin,/usr/libexec,/usr/bin,/sbin,/bin;

assign -r log_t /usr/var/log;

assign writable_t /usr/var/log/wtmp, /usr/var/log/utmp;

**************************************************
Succeeded!
2015-02-25 02:53:32.380707: Run Query 0 with parameters /usr/x11r6/bin/twm

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.8593.Feb-25-0253AM-2015
2015-02-25 02:53:56.663349: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/hwexample.dte
**************************************************
type generic_t,binaries_t,readable_t,writable_t,dte_t, log_t;

domain daemon_d = (/sbin/init),

        (cdrw->writable_t),

        (dr->generic_t,readable_t),

        (drx->binaries_t),

        (auto->login_d, log_d);



domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->generic_t,dte_t,readable_t),

        (exec->admin_d,user_d);



domain user_d = (/usr/bin/{sh,csh,tcsh}),

        (drx->binaries_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);



domain admin_d = (/usr/bin/{sh,csh,tcsh}),

        (drwx->binaries_t,writable_t,readable_t, dte_t),

        (cdrwx->generic_t);



domain log_d = (/usr/sbin/syslogd),

        (crwd->log_t),

        (rwd->writable_t),

        (rd->generic_t, readable_t);



initial_domain = daemon_d;



assign -r generic_t /;

assign -r -s dte_t /dte;

assign -r writable_t /tmp,/usr/var,/dev;

assign -r readable_t /etc;

assign -r -s binaries_t /usr/local/bin,/usr/sbin,/usr/libexec,/usr/bin,/sbin,/bin;

assign -r log_t /usr/var/log;

assign writable_t /usr/var/log/wtmp, /usr/var/log/utmp;

**************************************************
Succeeded!
2015-02-25 02:54:12.703989: Run Query 0 with parameters /usr/x11r6/bin/twm
2015-02-25 02:56:53.873995: Run Query 3 with parameters admin_d, c

--------------------Start DTEvisual--------------------
rover-248-190.rovernet.mtu.edu.2143.2015-02-27 14:31:44
2015-02-27 14:31:49.620315: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/approxRBAC.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t,projectA_t,projectB_t;

domain daemon_d = (  /sbin/init),

        (dr->generic_t,readable_t,dte_t),

        (drx->sysbin_t),

        (cdrw->writable_t),

        (auto->login_d);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->readable_t,generic_t,dte_t),

        (exec->user_d,admin_d,roleA_d,roleB_d,roleAB_d);

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->writable_t,sysbin_t,dte_t,readable_t),

        (cdrwx->generic_t);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t);

domain roleA_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectA_t);

domain roleB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t);

domain roleAB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t),

        (cdrw->projectA_t);

        

initial_domain = daemon_d;



assign -r generic_t	/;

assign -r projectA_t 	/projectA;

assign -r projectB_t 	/projectB;

assign -r readable_t 	/etc;

assign -r -s dte_t 	/dte;

assign -r writable_t 	/usr/var,/dev,/tmp;

assign -r -s sysbin_t 	/usr/bin,/usr/sysbin,/sbin,/bin;
**************************************************
Succeeded!
2015-02-27 14:31:54.463494: Switch to Type Graph
2015-02-27 14:32:03.933852: Switch to General Graph
2015-02-27 14:32:04.438079: Switch to Type Graph

--------------------Start DTEvisual--------------------
rover-248-190.rovernet.mtu.edu.2172.2015-02-27 14:39:05

--------------------Start DTEvisual--------------------
rover-248-190.rovernet.mtu.edu.2173.2015-02-27 14:39:51
2015-02-27 14:39:56.213251: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/approxRBAC.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t,projectA_t,projectB_t;

domain daemon_d = (  /sbin/init),

        (dr->generic_t,readable_t,dte_t),

        (drx->sysbin_t),

        (cdrw->writable_t),

        (auto->login_d);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->readable_t,generic_t,dte_t),

        (exec->user_d,admin_d,roleA_d,roleB_d,roleAB_d);

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->writable_t,sysbin_t,dte_t,readable_t),

        (cdrwx->generic_t);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t);

domain roleA_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectA_t);

domain roleB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t);

domain roleAB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t),

        (cdrw->projectA_t);

        

initial_domain = daemon_d;



assign -r generic_t	/;

assign -r projectA_t 	/projectA;

assign -r projectB_t 	/projectB;

assign -r readable_t 	/etc;

assign -r -s dte_t 	/dte;

assign -r writable_t 	/usr/var,/dev,/tmp;

assign -r -s sysbin_t 	/usr/bin,/usr/sysbin,/sbin,/bin;
**************************************************
Succeeded!
2015-02-27 14:40:00.095023: Switch to Type Graph

--------------------Start DTEvisual--------------------
rover-248-190.rovernet.mtu.edu.2176.2015-02-27 14:40:46
2015-02-27 14:40:50.932392: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/approxRBAC.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t,projectA_t,projectB_t;

domain daemon_d = (  /sbin/init),

        (dr->generic_t,readable_t,dte_t),

        (drx->sysbin_t),

        (cdrw->writable_t),

        (auto->login_d);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->readable_t,generic_t,dte_t),

        (exec->user_d,admin_d,roleA_d,roleB_d,roleAB_d);

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->writable_t,sysbin_t,dte_t,readable_t),

        (cdrwx->generic_t);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t);

domain roleA_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectA_t);

domain roleB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t);

domain roleAB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t),

        (cdrw->projectA_t);

        

initial_domain = daemon_d;



assign -r generic_t	/;

assign -r projectA_t 	/projectA;

assign -r projectB_t 	/projectB;

assign -r readable_t 	/etc;

assign -r -s dte_t 	/dte;

assign -r writable_t 	/usr/var,/dev,/tmp;

assign -r -s sysbin_t 	/usr/bin,/usr/sysbin,/sbin,/bin;
**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
rover-248-190.rovernet.mtu.edu.2178.2015-02-27 14:41:11
2015-02-27 14:41:16.261675: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/approxRBAC.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t,projectA_t,projectB_t;

domain daemon_d = (  /sbin/init),

        (dr->generic_t,readable_t,dte_t),

        (drx->sysbin_t),

        (cdrw->writable_t),

        (auto->login_d);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->readable_t,generic_t,dte_t),

        (exec->user_d,admin_d,roleA_d,roleB_d,roleAB_d);

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->writable_t,sysbin_t,dte_t,readable_t),

        (cdrwx->generic_t);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t);

domain roleA_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectA_t);

domain roleB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t);

domain roleAB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t),

        (cdrw->projectA_t);

        

initial_domain = daemon_d;



assign -r generic_t	/;

assign -r projectA_t 	/projectA;

assign -r projectB_t 	/projectB;

assign -r readable_t 	/etc;

assign -r -s dte_t 	/dte;

assign -r writable_t 	/usr/var,/dev,/tmp;

assign -r -s sysbin_t 	/usr/bin,/usr/sysbin,/sbin,/bin;
**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
rover-248-190.rovernet.mtu.edu.2215.2015-02-27 14:45:26

--------------------Start DTEvisual--------------------
rover-248-190.rovernet.mtu.edu.2220.2015-02-27 14:46:59
2015-02-27 14:47:03.185297: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/approxRBAC.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t,projectA_t,projectB_t;

domain daemon_d = (  /sbin/init),

        (dr->generic_t,readable_t,dte_t),

        (drx->sysbin_t),

        (cdrw->writable_t),

        (auto->login_d);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->readable_t,generic_t,dte_t),

        (exec->user_d,admin_d,roleA_d,roleB_d,roleAB_d);

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->writable_t,sysbin_t,dte_t,readable_t),

        (cdrwx->generic_t);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t);

domain roleA_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectA_t);

domain roleB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t);

domain roleAB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t),

        (cdrw->projectA_t);

        

initial_domain = daemon_d;



assign -r generic_t	/;

assign -r projectA_t 	/projectA;

assign -r projectB_t 	/projectB;

assign -r readable_t 	/etc;

assign -r -s dte_t 	/dte;

assign -r writable_t 	/usr/var,/dev,/tmp;

assign -r -s sysbin_t 	/usr/bin,/usr/sysbin,/sbin,/bin;
**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
rover-248-190.rovernet.mtu.edu.2252.2015-02-27 14:51:29
2015-02-27 14:51:39.229617: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/approxRBAC.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t,projectA_t,projectB_t;

domain daemon_d = (  /sbin/init),

        (dr->generic_t,readable_t,dte_t),

        (drx->sysbin_t),

        (cdrw->writable_t),

        (auto->login_d);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->readable_t,generic_t,dte_t),

        (exec->user_d,admin_d,roleA_d,roleB_d,roleAB_d);

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->writable_t,sysbin_t,dte_t,readable_t),

        (cdrwx->generic_t);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t);

domain roleA_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectA_t);

domain roleB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t);

domain roleAB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t),

        (cdrw->projectA_t);

        

initial_domain = daemon_d;



assign -r generic_t	/;

assign -r projectA_t 	/projectA;

assign -r projectB_t 	/projectB;

assign -r readable_t 	/etc;

assign -r -s dte_t 	/dte;

assign -r writable_t 	/usr/var,/dev,/tmp;

assign -r -s sysbin_t 	/usr/bin,/usr/sysbin,/sbin,/bin;
**************************************************
Succeeded!
2015-02-27 14:51:44.270768: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/approxRBAC.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t,projectA_t,projectB_t;

domain daemon_d = (  /sbin/init),

        (dr->generic_t,readable_t,dte_t),

        (drx->sysbin_t),

        (cdrw->writable_t),

        (auto->login_d);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->readable_t,generic_t,dte_t),

        (exec->user_d,admin_d,roleA_d,roleB_d,roleAB_d);

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->writable_t,sysbin_t,dte_t,readable_t),

        (cdrwx->generic_t);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t);

domain roleA_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectA_t);

domain roleB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t);

domain roleAB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t),

        (cdrw->projectA_t);

        

initial_domain = daemon_d;



assign -r generic_t	/;

assign -r projectA_t 	/projectA;

assign -r projectB_t 	/projectB;

assign -r readable_t 	/etc;

assign -r -s dte_t 	/dte;

assign -r writable_t 	/usr/var,/dev,/tmp;

assign -r -s sysbin_t 	/usr/bin,/usr/sysbin,/sbin,/bin;
**************************************************
Succeeded!
2015-02-27 14:51:48.578409: Clicked Edge from  Domain login_d to  Domain roleAB_d with label /usr/bin/{sh,csh,ksh}

--------------------Start DTEvisual--------------------
rover-248-190.rovernet.mtu.edu.2284.2015-02-27 14:54:36

--------------------Start DTEvisual--------------------
rover-248-190.rovernet.mtu.edu.2285.2015-02-27 14:55:11
2015-02-27 14:55:16.004181: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/approxRBAC.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t,projectA_t,projectB_t;

domain daemon_d = (  /sbin/init),

        (dr->generic_t,readable_t,dte_t),

        (drx->sysbin_t),

        (cdrw->writable_t),

        (auto->login_d);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->readable_t,generic_t,dte_t),

        (exec->user_d,admin_d,roleA_d,roleB_d,roleAB_d);

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->writable_t,sysbin_t,dte_t,readable_t),

        (cdrwx->generic_t);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t);

domain roleA_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectA_t);

domain roleB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t);

domain roleAB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t),

        (cdrw->projectA_t);

        

initial_domain = daemon_d;



assign -r generic_t	/;

assign -r projectA_t 	/projectA;

assign -r projectB_t 	/projectB;

assign -r readable_t 	/etc;

assign -r -s dte_t 	/dte;

assign -r writable_t 	/usr/var,/dev,/tmp;

assign -r -s sysbin_t 	/usr/bin,/usr/sysbin,/sbin,/bin;
**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
rover-248-190.rovernet.mtu.edu.2287.2015-02-27 14:55:45

--------------------Start DTEvisual--------------------
rover-248-190.rovernet.mtu.edu.2288.2015-02-27 14:57:31

--------------------Start DTEvisual--------------------
rover-248-190.rovernet.mtu.edu.2289.2015-02-27 14:57:44

--------------------Start DTEvisual--------------------
rover-248-190.rovernet.mtu.edu.2323.2015-02-27 15:06:38
2015-02-27 15:06:44.999762: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/approxRBAC.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t,projectA_t,projectB_t;

domain daemon_d = (  /sbin/init),

        (dr->generic_t,readable_t,dte_t),

        (drx->sysbin_t),

        (cdrw->writable_t),

        (auto->login_d);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->readable_t,generic_t,dte_t),

        (exec->user_d,admin_d,roleA_d,roleB_d,roleAB_d);

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->writable_t,sysbin_t,dte_t,readable_t),

        (cdrwx->generic_t);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t);

domain roleA_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectA_t);

domain roleB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t);

domain roleAB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t),

        (cdrw->projectA_t);

        

initial_domain = daemon_d;



assign -r generic_t	/;

assign -r projectA_t 	/projectA;

assign -r projectB_t 	/projectB;

assign -r readable_t 	/etc;

assign -r -s dte_t 	/dte;

assign -r writable_t 	/usr/var,/dev,/tmp;

assign -r -s sysbin_t 	/usr/bin,/usr/sysbin,/sbin,/bin;
**************************************************
Succeeded!
2015-02-27 15:06:53.490635: Switch to Type Graph

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.3737.2015-02-28 00:53:07
2015-02-28 00:53:18.822253: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/test/firstExample.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t;

domain daemon_d = (  /sbin/init),

        (dr->generic_t,readable_t,dte_t),

        (drx->sysbin_t),

        (cdrw->writable_t),

        (auto->login_d);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->readable_t,generic_t,dte_t),

        (exec->user_d,admin_d);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t);

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->writable_t,sysbin_t,dte_t,readable_t),

        (cdrwx->generic_t);



initial_domain = daemon_d;



assign -r generic_t /;

assign -r readable_t /etc;

assign -r -s dte_t /dte;

assign -r writable_t /usr/var,/dev,/tmp;

assign -r -s sysbin_t /usr/bin,/usr/sysbin,/sbin,/bin;
**************************************************
Succeeded!
2015-02-28 00:53:24.290667:  Domain Node lol changes name to lol

--------------------Start DTEvisual--------------------
rover-251-164.rovernet.mtu.edu.4595.2015-02-28 10:14:19
Failed!
Failed!

--------------------Start DTEvisual--------------------
rover-251-164.rovernet.mtu.edu.4599.2015-02-28 10:15:01
Failed!

--------------------Start DTEvisual--------------------
rover-251-164.rovernet.mtu.edu.4614.2015-02-28 10:18:26

--------------------Start DTEvisual--------------------
rover-251-164.rovernet.mtu.edu.4624.2015-02-28 10:21:43

--------------------Start DTEvisual--------------------
rover-251-164.rovernet.mtu.edu.4631.2015-02-28 10:22:41
2015-02-28 10:22:46.731031: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/policies/firstExample.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t;

domain daemon_d = (  /sbin/init),

        (dr->generic_t,readable_t,dte_t),

        (drx->sysbin_t),

        (cdrw->writable_t),

        (auto->login_d);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->readable_t,generic_t,dte_t),

        (exec->user_d,admin_d);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t);

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->writable_t,sysbin_t,dte_t,readable_t),

        (cdrwx->generic_t);



initial_domain = daemon_d;



assign -r generic_t /;

assign -r readable_t /etc;

assign -r -s dte_t /dte;

assign -r writable_t /usr/var,/dev,/tmp;

assign -r -s sysbin_t /usr/bin,/usr/sysbin,/sbin,/bin;
**************************************************
Succeeded!
2015-02-28 10:22:53.541756: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/policies/testexample.dte
**************************************************
type code, cScratch, tScratch, tTools, etc, unprot, dev, test, cTools;



domain initial = (/sbin/init),

         (rw->dev),

         (cdrwx->unprot),

         (auto->login);

domain login = (/usr/bin/login),

         (rw->dev),

         (dr->etc),

         (exec->general, testSup, tester, codeSup, coder);

domain testSup = (/usr/bin/csh),

         (r->test, dev, tScratch),

         (drwx->tTools);

domain tester = (/usr/bin/csh),

         (drx->tTools),

         (rw->test),

         (rw->tScratch, dev);

domain codeSup = (/usr/bin/csh),

         (rw->code, cScratch, dev),

         (drwx->cTools);

domain coder = (/usr/bin/csh),

         (drx->cTools),

         (r->code),

         (rw->dev, cScratch);

domain general = (/usr/bin/csh),

         (rw->dev),

         (cdrwx->unprot),

         (drwx->etc);

initial_domain = initial;

assign -r cScratch /devel/cScratch;

assign -r etc /etc;

assign -r test /devel/test;

assign -r code /devel/code;

assign -r tTools /devel/tTools;

assign -r dev /dev;

assign -r tScratch /devel/tScratch;

assign -r unprot /;

assign -r cTools /devel/cTools;

**************************************************
Succeeded!
2015-02-28 10:23:05.652993: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/policies/take_home_exam.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t,projectA_t,projectB_t;

domain daemon_d = (/sbin/init),

        (dr->generic_t,readable_t,dte_t),

        (drx->sysbin_t),

        (cdrw->writable_t);

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->sysbin_t,dte_t,readable_t),

        (drw->writable_t),

        (cdrwx->generic_t);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t);

domain roleA_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectA_t);

domain roleB_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t);

domain roleC_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t),

        (cdrw->projectB_t),

        (cdrw->projectA_t);

        

initial_domain = daemon_d;



assign -r generic_t     /;

assign -r projectA_t    /projectA;

assign -r projectB_t    /projectB;

assign -r readable_t    /etc;

assign -r -s dte_t      /dte;

assign -r writable_t    /usr/var,/var,/tmp;

assign -r -s sysbin_t   /usr/bin,/usr/sysbin,/sbin,/bin;
**************************************************
Succeeded!
2015-02-28 10:23:18.192154: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/policies/logMod.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t,log_t;

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->dte_t,writable_t,readable_t,sysbin_t),

        (cdrwx->generic_t);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->readable_t,dte_t,generic_t),

        (exec->user_d,admin_d);

domain daemon_d = (/sbin/init),

        (dr->dte_t,readable_t,generic_t),

        (drx->sysbin_t),

        (cdrw->writable_t),

        (auto->log_d,login_d);

domain log_d = (/usr/bin/syslogd),

        (cdrw->log_t),

        (dr->readable_t,generic_t),

        (drw->writable_t);

initial_domain = daemon_d;

assign -r log_t /usr/var/log;

assign -r generic_t /;

assign -r readable_t /etc;

assign -r -s sysbin_t /usr/sysbin,/usr/bin,/bin,/sbin;

assign -r -s dte_t /dte;

assign  writable_t /usr/var/log/utmp,/usr/var/log/wtmp;

assign -r writable_t /usr/var,/tmp,/dev;

**************************************************
Succeeded!
Failed!

--------------------Start DTEvisual--------------------
rover-251-164.rovernet.mtu.edu.4638.2015-02-28 10:24:01
2015-02-28 10:24:07.513927: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/policies/firstExample.dte
**************************************************
type dte_t,readable_t,generic_t,writable_t,sysbin_t;

domain daemon_d = (  /sbin/init),

        (dr->generic_t,readable_t,dte_t),

        (drx->sysbin_t),

        (cdrw->writable_t),

        (auto->login_d);

domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->readable_t,generic_t,dte_t),

        (exec->user_d,admin_d);

domain user_d = (/usr/bin/{sh,csh,ksh}),

        (drx->sysbin_t),

        (cdrwx->generic_t),

        (dr->readable_t,dte_t),

        (drw->writable_t);

domain admin_d = (/usr/bin/{sh,csh,ksh}),

        (drwx->writable_t,sysbin_t,dte_t,readable_t),

        (cdrwx->generic_t);



initial_domain = daemon_d;



assign -r generic_t /;

assign -r readable_t /etc;

assign -r -s dte_t /dte;

assign -r writable_t /usr/var,/dev,/tmp;

assign -r -s sysbin_t /usr/bin,/usr/sysbin,/sbin,/bin;
**************************************************
Succeeded!
Failed!
2015-02-28 10:24:37.813103: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/policies/hwexample.dte
**************************************************
type generic_t,binaries_t,readable_t,writable_t,dte_t, log_t;

domain daemon_d = (/sbin/init),

        (cdrw->writable_t),

        (dr->generic_t,readable_t),

        (drx->binaries_t),

        (auto->login_d, log_d);



domain login_d = (/usr/bin/login),

        (cdrw->writable_t),

        (dr->generic_t,dte_t,readable_t),

        (exec->admin_d,user_d);



domain user_d = (/usr/bin/{sh,csh,tcsh}),

        (drx->binaries_t),

        (dr->dte_t,readable_t),

        (cdrwx->generic_t),

        (drw->writable_t);



domain admin_d = (/usr/bin/{sh,csh,tcsh}),

        (drwx->binaries_t,writable_t,readable_t, dte_t),

        (cdrwx->generic_t);



domain log_d = (/usr/sbin/syslogd),

        (crwd->log_t),

        (rwd->writable_t),

        (rd->generic_t, readable_t);



initial_domain = daemon_d;



assign -r generic_t /;

assign -r -s dte_t /dte;

assign -r writable_t /tmp,/usr/var,/dev;

assign -r readable_t /etc;

assign -r -s binaries_t /usr/local/bin,/usr/sbin,/usr/libexec,/usr/bin,/sbin,/bin;

assign -r log_t /usr/var/log;

assign writable_t /usr/var/log/wtmp, /usr/var/log/utmp;

**************************************************
Succeeded!
2015-02-28 10:24:48.050027: Import DTE spec file: /Users/manwang/Documents/workspace/DTEvisualyifei/src/policies/hw3-6.dte
**************************************************
type unprotected_t, passwd_t;

domain unprotected_d = (/sbin/init),

        (cdrwx->unprotected_t),

        (exec->passwd_d);



domain passwd_d = (/usr/bin/passwd),

        (crw->passwd_t);



initial_domain = unprotected_d;

assign -r unprotected_t /;

assign passwd_t /etc/passwd, /etc/shadow;
**************************************************
Succeeded!
Failed!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.10226.2015-03-03 23:00:07
2015-03-03 23:00:14.957574: Import DTE spec file: /Users/manwang/Documents/PyInstaller-2.1/DTEvisual/dist/DTEvisual/policies/hw3-6.dte
**************************************************
type unprotected_t, passwd_t;

domain unprotected_d = (/sbin/init),

        (cdrwx->unprotected_t),

        (exec->passwd_d);



domain passwd_d = (/usr/bin/passwd),

        (crw->passwd_t);



initial_domain = unprotected_d;

assign -r unprotected_t /;

assign passwd_t /etc/passwd, /etc/shadow;
**************************************************
Succeeded!

--------------------Start DTEvisual--------------------
Mans-MacBook-Air.local.11606.2015-03-05 10:45:54
--------------------Close DTEvisual   2015-03-05 10:53:44.995292--------------------

--------------------Start DTEvisual--------------------
rover-228-42.rovernet.mtu.edu.3514.2016-09-30 12:03:08
2016-09-30 12:03:09.026638: Switch to Self Test Mode
2016-09-30 12:03:15.484998: Import DTE spec file: /home/manw/Desktop/PyInstaller-2.1/DTEvisual/dist/DTEvisual/policies/hw3-6.dte
**************************************************
type unprotected_t, passwd_t;

domain unprotected_d = (/sbin/init),

        (cdrwx->unprotected_t),

        (exec->passwd_d);



domain passwd_d = (/usr/bin/passwd),

        (crw->passwd_t);



initial_domain = unprotected_d;

assign -r unprotected_t /;

assign passwd_t /etc/passwd, /etc/shadow;
**************************************************
Succeeded!
2016-09-30 12:03:50.543055: Switch to Type Graph
2016-09-30 12:03:51.267600: Switch to General Graph
2016-09-30 12:03:52.904936: Switch to Type Graph
2016-09-30 12:03:54.020355: Switch to Self Test Mode
2016-09-30 12:03:55.785176: Switch to Type Graph
2016-09-30 12:03:56.302792: Switch to General Graph
2016-09-30 12:03:57.227304: Switch to Type Graph
2016-09-30 12:03:57.911369: Switch to Self Test Mode
