Context Navigation

rbtm.log @ d9987ad

axis_examplecompt_changesinfo-opsversion-1.30version-2.00version-3.01version-3.02

Last change on this file since d9987ad was 8780cbec, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago
ABAC sources from Cobham
Property mode set to `100644`
File size: 10.9 KB

Rev	Line
[8780cbec]	1	Finding credential defining the role: <SAdmir.getsSLocs>
	2	count = 1
	3	count = 2
	4	count = 3
	5	oppoFrontier = credentials=[SAdmir.getsSLocs<-SENavy.usr, SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr, SAdmir.getsSLocs<-SAdmir.needsSLocs, SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom, SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom, SE.friendly<-US, SAdmir.getsSLocs<-SEAFHQ.usr]
	6	indexByIssuer={SE=[SE.friendly<-US], SAdmir=[SAdmir.getsSLocs<-SENavy.usr, SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr, SAdmir.getsSLocs<-SAdmir.needsSLocs, SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom, SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom, SAdmir.getsSLocs<-SEAFHQ.usr]}
	7	indexByRole={SAdmir.NRetTacCom=[SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom, SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom], SAdmir.needsSLocs=[SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr], SE.friendly=[SE.friendly<-US], SAdmir.getsSLocs=[SAdmir.getsSLocs<-SENavy.usr, SAdmir.getsSLocs<-SAdmir.needsSLocs, SAdmir.getsSLocs<-SEAFHQ.usr]}
	8	indexBySubject={SENavy.usr=[SAdmir.getsSLocs<-SENavy.usr], US=[SE.friendly<-US], USEUCOM.NRetUSTacCom=[SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom], SAdmir.needsSLocs=[SAdmir.getsSLocs<-SAdmir.needsSLocs], FinnCOM.NRetFinnTacCom=[SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom], SEAFHQ.usr=[SAdmir.getsSLocs<-SEAFHQ.usr], SAdmir.NRetTacCom.NRetTacUsr=[SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr]}
	9	-------BEGIN-OPPO-SEARCH------------
	10	###Adding SENavy.usr,node SENavy.usr
	11	-------END-OPPO-SEARCH--------------
	12	-------BEGIN-OPPO-SEARCH------------
	13	-------END-OPPO-SEARCH--------------
	14	Getting oppo chain from SENavy.usr to SENavy.usr
	15	source = SENavy.usr
	16	target = SENavy.usr
	17	node table = {SENavy.usr=node SENavy.usr}
	18
	19	@@@@@ creating set of size 0
	20	-------BEGIN-OPPO-SEARCH------------
	21	###Adding SAdmir.needsSLocs,SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr
	22	###Adding SAdmir.NRetTacCom.NRetTacUsr,node SAdmir.NRetTacCom.NRetTacUsr
	23	###Adding SAdmir.NRetTacCom.NRetTacUsr,node SAdmir.NRetTacCom.NRetTacUsr
	24	-------END-OPPO-SEARCH--------------
	25	-------BEGIN-OPPO-SEARCH------------
	26	-------END-OPPO-SEARCH--------------
	27	Getting oppo chain from SAdmir.needsSLocs to SAdmir.NRetTacCom.NRetTacUsr
	28	source = SAdmir.needsSLocs
	29	target = SAdmir.NRetTacCom.NRetTacUsr
	30	node table = {SENavy.usr=node SENavy.usr, SAdmir.needsSLocs=node SAdmir.needsSLocs, SAdmir.NRetTacCom.NRetTacUsr=node SAdmir.NRetTacCom.NRetTacUsr}
	31
	32	@@@@@ this = SAdmir.needsSLocs
	33	solutions = [2]{SAdmir.NRetTacCom.NRetTacUsr=[node SAdmir.NRetTacCom.NRetTacUsr]}
	34	soln = [node SAdmir.NRetTacCom.NRetTacUsr]
	35
	36	@@@@@ next = SAdmir.NRetTacCom.NRetTacUsr
	37
	38	@@@@@ children = [2]{SAdmir.needsSLocs=[SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr]}
	39	-------BEGIN-OPPO-SEARCH------------
	40	###Adding SEAFHQ.usr,node SEAFHQ.usr
	41	-------END-OPPO-SEARCH--------------
	42	-------BEGIN-OPPO-SEARCH------------
	43	-------END-OPPO-SEARCH--------------
	44	Getting oppo chain from SEAFHQ.usr to SEAFHQ.usr
	45	source = SEAFHQ.usr
	46	target = SEAFHQ.usr
	47	node table = {SENavy.usr=node SENavy.usr, SAdmir.needsSLocs=node SAdmir.needsSLocs, SEAFHQ.usr=node SEAFHQ.usr, SAdmir.NRetTacCom.NRetTacUsr=node SAdmir.NRetTacCom.NRetTacUsr}
	48
	49	@@@@@ creating set of size 0
	50	Finding credential defining the role name: NRetTacUsr
	51	count = 1
	52	-------BEGIN-SENS-SEARCH------------
	53	searching for RADMSmith.NRetTacUsr
	54	###Adding RADMSmith.NRetTacUsr,RADMSmith.NRetTacUsr<-USN.assignedNRet
	55	###Adding USN.assignedNRet,node USN.assignedNRet
	56	###Adding USN.assignedNRet,node USN.assignedNRet
	57	map = [2]{USN.assignedNRet=[node USN.assignedNRet]}
	58	--------END-SENS-SEARCH-------------
	59	-------BEGIN-SENS-SEARCH------------
	60	searching for RADMSmith.NRetTacUsr
	61	map = [2]{USN.assignedNRet=[node USN.assignedNRet]}
	62	--------END-SENS-SEARCH-------------
	63	---------BEGIN-SENS-CHAIN----------
	64	Getting sens chain from RADMSmith.NRetTacUsr to USN.assignedNRet
	65	source = RADMSmith.NRetTacUsr
	66	target = USN.assignedNRet
	67	node table = {USN.assignedNRet=node USN.assignedNRet, RADMSmith.NRetTacUsr=node RADMSmith.NRetTacUsr}
	68
	69	@@@@@ this = RADMSmith.NRetTacUsr
	70	solutions = [2]{USN.assignedNRet=[node USN.assignedNRet]}
	71	soln = [node USN.assignedNRet]
	72
	73	@@@@@ next = USN.assignedNRet
	74
	75	@@@@@ creating set of size 1
	76
	77	@@@@@ children = [2]{RADMSmith.NRetTacUsr=[RADMSmith.NRetTacUsr<-USN.assignedNRet]}
	78	results = [RADMSmith.NRetTacUsr<-USN.assignedNRet]
	79	-----------END-SENS-CHAIN----------
	80
	81	Finding credential defining the role: <USN.assignedNRet>
	82	oppoFrontier = credentials=[US.friendly<-SE]
	83	indexByIssuer={US=[US.friendly<-SE]}
	84	indexByRole={US.friendly=[US.friendly<-SE]}
	85	indexBySubject={SE=[US.friendly<-SE]}
	86	count = 1
	87	-------BEGIN-SENS-SEARCH------------
	88	searching for USSB
	89	###Adding USSB,node USSB
	90	map = [2]{USSB=[node USSB]}
	91	--------END-SENS-SEARCH-------------
	92	-------BEGIN-LOCAL-SEARCH------------
	93	###Adding US.friendly,node US.friendly
	94	###Adding US.friendly,US.friendly<-SE
	95	###Adding SE,node SE
	96	###Adding SE,node SE
	97	-------END-LOCAL-SEARCH--------------
	98	-------BEGIN-OPPO-SEARCH------------
	99	###Adding SE.usr,node SE.usr
	100	-------END-OPPO-SEARCH--------------
	101	###Adding RADMSmith.NRetTacUsr,node RADMSmith.NRetTacUsr
	102	###Adding RADMSmith.NRetTacUsr,RADMSmith.NRetTacUsr<-USN.assignedNRet
	103	###Adding USN.assignedNRet,node USN.assignedNRet
	104	###Adding USN.assignedNRet,node USN.assignedNRet
	105	source = RADMSmith.NRetTacUsr
	106	target = USN.assignedNRet
	107	node table = {USN.assignedNRet=node USN.assignedNRet, RADMSmith.NRetTacUsr=node RADMSmith.NRetTacUsr}
	108
	109	@@@@@ this = RADMSmith.NRetTacUsr
	110	solutions = [2]{USN.assignedNRet=[node USN.assignedNRet], RADMSmith.NRetTacUsr=[node RADMSmith.NRetTacUsr]}
	111	soln = [node USN.assignedNRet]
	112
	113	@@@@@ next = USN.assignedNRet
	114
	115	@@@@@ creating set of size 1
	116
	117	@@@@@ children = [2]{RADMSmith.NRetTacUsr=[RADMSmith.NRetTacUsr<-USN.assignedNRet]}
	118	-------BEGIN-SENS-SEARCH------------
	119	searching for SE.usr
	120	###Adding SE.usr,SE.usr<-SAdmir
	121	###Adding SAdmir,node SAdmir
	122	###Adding SAdmir,node SAdmir
	123	map = [2]{SAdmir=[node SAdmir]}
	124	--------END-SENS-SEARCH-------------
	125	-------BEGIN-SENS-SEARCH------------
	126	searching for SE.usr
	127	map = [2]{SAdmir=[node SAdmir]}
	128	--------END-SENS-SEARCH-------------
	129	---------BEGIN-SENS-CHAIN----------
	130	Getting sens chain from SE.usr to SAdmir
	131	source = SE.usr
	132	target = SAdmir
	133	node table = {SE.usr=node SE.usr, SAdmir=node SAdmir}
	134
	135	@@@@@ this = SE.usr
	136	solutions = [2]{SAdmir=[node SAdmir]}
	137	soln = [node SAdmir]
	138
	139	@@@@@ next = SAdmir
	140
	141	@@@@@ children = [2]{SE.usr=[SE.usr<-SAdmir]}
	142	results = [SE.usr<-SAdmir]
	143	-----------END-SENS-CHAIN----------
	144
	145	###Adding SE.usr,node SE.usr
	146	###Adding SE.usr,SE.usr<-SAdmir
	147	###Adding SAdmir,node SAdmir
	148	###Adding SAdmir,node SAdmir
	149	source = SE.usr
	150	target = SAdmir
	151	node table = {SE.usr=node SE.usr, SAdmir=node SAdmir}
	152
	153	@@@@@ this = SE.usr
	154	solutions = [2]{SE.usr=[node SE.usr], SAdmir=[node SAdmir]}
	155	soln = [node SAdmir]
	156
	157	@@@@@ next = SAdmir
	158
	159	@@@@@ children = [2]{SE.usr=[SE.usr<-SAdmir]}
	160	###Adding USN.assignedNRet,USN.assignedNRet<-USSB
	161	###Adding USSB,node USSB
	162	###Adding USSB,node USSB
	163	###Adding USSB,node USN.assignedNRet
	164	source = USN.assignedNRet
	165	target = USSB
	166	node table = {USN.assignedNRet=node USN.assignedNRet, RADMSmith.NRetTacUsr=node RADMSmith.NRetTacUsr, USSB=node USSB}
	167
	168	@@@@@ this = USN.assignedNRet
	169	solutions = [2]{USN.assignedNRet=[node USN.assignedNRet], USSB=[node USSB]}
	170	soln = [node USSB]
	171
	172	@@@@@ next = USSB
	173
	174	@@@@@ children = [2]{USN.assignedNRet=[USN.assignedNRet<-USSB]}
	175	Finding credential defining the role: <SAdmir.NRetTacCom>
	176	count = 1
	177	count = 2
	178	oppoFrontier = credentials=[SAdmir.getsSLocs<-SENavy.usr, SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr, SAdmir.getsSLocs<-SAdmir.needsSLocs, SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom, SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom, SE.friendly<-US, SAdmir.getsSLocs<-SEAFHQ.usr]
	179	indexByIssuer={SE=[SE.friendly<-US], SAdmir=[SAdmir.getsSLocs<-SENavy.usr, SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr, SAdmir.getsSLocs<-SAdmir.needsSLocs, SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom, SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom, SAdmir.getsSLocs<-SEAFHQ.usr]}
	180	indexByRole={SAdmir.NRetTacCom=[SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom, SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom], SAdmir.needsSLocs=[SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr], SE.friendly=[SE.friendly<-US], SAdmir.getsSLocs=[SAdmir.getsSLocs<-SENavy.usr, SAdmir.getsSLocs<-SAdmir.needsSLocs, SAdmir.getsSLocs<-SEAFHQ.usr]}
	181	indexBySubject={SENavy.usr=[SAdmir.getsSLocs<-SENavy.usr], US=[SE.friendly<-US], USEUCOM.NRetUSTacCom=[SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom], SAdmir.needsSLocs=[SAdmir.getsSLocs<-SAdmir.needsSLocs], FinnCOM.NRetFinnTacCom=[SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom], SEAFHQ.usr=[SAdmir.getsSLocs<-SEAFHQ.usr], SAdmir.NRetTacCom.NRetTacUsr=[SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr]}
	182	-------BEGIN-OPPO-SEARCH------------
	183	###Adding USEUCOM.NRetUSTacCom,node USEUCOM.NRetUSTacCom
	184	-------END-OPPO-SEARCH--------------
	185	-------BEGIN-OPPO-SEARCH------------
	186	-------END-OPPO-SEARCH--------------
	187	Getting oppo chain from USEUCOM.NRetUSTacCom to USEUCOM.NRetUSTacCom
	188	source = USEUCOM.NRetUSTacCom
	189	target = USEUCOM.NRetUSTacCom
	190	node table = {SENavy.usr=node SENavy.usr, USEUCOM.NRetUSTacCom=node USEUCOM.NRetUSTacCom, SAdmir.needsSLocs=node SAdmir.needsSLocs, SEAFHQ.usr=node SEAFHQ.usr, SAdmir.NRetTacCom.NRetTacUsr=node SAdmir.NRetTacCom.NRetTacUsr}
	191
	192	@@@@@ creating set of size 0
	193	-------BEGIN-OPPO-SEARCH------------
	194	###Adding FinnCOM.NRetFinnTacCom,node FinnCOM.NRetFinnTacCom
	195	-------END-OPPO-SEARCH--------------
	196	-------BEGIN-OPPO-SEARCH------------
	197	-------END-OPPO-SEARCH--------------
	198	Getting oppo chain from FinnCOM.NRetFinnTacCom to FinnCOM.NRetFinnTacCom
	199	source = FinnCOM.NRetFinnTacCom
	200	target = FinnCOM.NRetFinnTacCom
	201	node table = {SENavy.usr=node SENavy.usr, USEUCOM.NRetUSTacCom=node USEUCOM.NRetUSTacCom, SAdmir.needsSLocs=node SAdmir.needsSLocs, FinnCOM.NRetFinnTacCom=node FinnCOM.NRetFinnTacCom, SEAFHQ.usr=node SEAFHQ.usr, SAdmir.NRetTacCom.NRetTacUsr=node SAdmir.NRetTacCom.NRetTacUsr}
	202
	203	@@@@@ creating set of size 0
	204	-------BEGIN-SIMP-SEARCH------------
	205	###Adding USEUCOM.NRetUSTacCom,USEUCOM.NRetUSTacCom<-RADMSmith
	206	###Adding RADMSmith,node RADMSmith
	207	###Adding RADMSmith,node RADMSmith
	208	--------END-SIMP-SEARCH------------
	209	-------BEGIN-SIMP-SEARCH------------
	210	--------END-SIMP-SEARCH------------
	211	source = USEUCOM.NRetUSTacCom
	212	target = RADMSmith
	213	node table = {USEUCOM.NRetUSTacCom=node USEUCOM.NRetUSTacCom, RADMSmith=node RADMSmith}
	214
	215	@@@@@ this = USEUCOM.NRetUSTacCom
	216	solutions = [2]{RADMSmith=[node RADMSmith]}
	217	soln = [node RADMSmith]
	218
	219	@@@@@ next = RADMSmith
	220
	221	@@@@@ children = [2]{USEUCOM.NRetUSTacCom=[USEUCOM.NRetUSTacCom<-RADMSmith]}
	222	###Adding USEUCOM.NRetUSTacCom,node USEUCOM.NRetUSTacCom
	223	###Adding USEUCOM.NRetUSTacCom,USEUCOM.NRetUSTacCom<-RADMSmith
	224	###Adding RADMSmith,node RADMSmith
	225	###Adding RADMSmith,node RADMSmith
	226	source = USEUCOM.NRetUSTacCom
	227	target = RADMSmith
	228	node table = {USEUCOM.NRetUSTacCom=node USEUCOM.NRetUSTacCom, RADMSmith=node RADMSmith, USN.assignedNRet=node USN.assignedNRet, RADMSmith.NRetTacUsr=node RADMSmith.NRetTacUsr, USSB=node USSB}
	229
	230	@@@@@ this = USEUCOM.NRetUSTacCom
	231	solutions = [2]{USEUCOM.NRetUSTacCom=[node USEUCOM.NRetUSTacCom], RADMSmith=[node RADMSmith]}
	232	soln = [node RADMSmith]
	233
	234	@@@@@ next = RADMSmith
	235
	236	@@@@@ children = [2]{USEUCOM.NRetUSTacCom=[USEUCOM.NRetUSTacCom<-RADMSmith]}

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format