Context Navigation

rbtm.log @ 728001e

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

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

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

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

Download in other formats:

Original Format