Context Navigation

SAdmir.prop @ df783c1

axis_examplecompt_changesinfo-opsversion-2.00version-3.01version-3.02

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

Rev	Line
[8780cbec]	1	subject = SAdmir
	2
	3	update.1.location = local
	4
	5	update.1.1.type = node
	6	update.1.1.name = SAdmir: SAdmir.needsSLocs <<-?- USSH
	7	update.1.1.nodeType = RoleTarget
	8	update.1.1.isRoot = True
	9
	10	update.1.2.type = node
	11	update.1.2.nodeType = RoleTarget
	12	update.1.2.name = SAdmir: SAdmir.needsSLocs <<-?- USSH
	13	update.1.2.processing = unprocessed
	14	update.1.2.satisfied = Unknown
	15
	16	update.1.3.type = node
	17	update.1.3.nodeType = RoleTarget
	18	update.1.3.name = SAdmir: SAdmir.needsSLocs <<-?- USSH
	19	update.1.3.processing = unprocessed
	20	update.1.3.satisfied = Unknown
	21
	22	update.1.4.type = edge
	23	update.1.4.edgeType = Implication
	24	update.1.4.parentName = SAdmir: SAdmir.needsSLocs <<-?- USSH
	25	update.1.4.childName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
	26	update.1.4.childType = LinkedRoleTarget
	27	update.1.4.childProcessing = opponent
	28	update.1.4.evidence.1 = SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr
	29
	30	update.1.5.type = node
	31	update.1.5.nodeType = LinkedRoleTarget
	32	update.1.5.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
	33	update.1.5.processing = opponent
	34	update.1.5.satisfied = Unknown
	35
	36	update.1.6.type = node
	37	update.1.6.nodeType = RoleTarget
	38	update.1.6.name = SAdmir: SAdmir.needsSLocs <<-?- USSH
	39	update.1.6.processing = opponent
	40	update.1.6.satisfied = Unknown
	41
	42	update.1.7.type = node
	43	update.1.7.name = SAdmir: SAdmir.needsSLocs <<-?- USSH
	44	update.1.7.processing = verifier
	45
	46	update.1.8.type = edge
	47	update.1.8.edgeType = LinkingMonitor
	48	update.1.8.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
	49	update.1.8.childName = SAdmir: ?X.NRetTacUsr <<-?- USSH
	50	update.1.8.childType = LinkingGoal
	51	update.1.8.childProcessing = verifier
	52
	53	update.1.9.type = node
	54	update.1.9.nodeType = LinkingGoal
	55	update.1.9.name = SAdmir: ?X.NRetTacUsr <<-?- USSH
	56	update.1.9.processing = verifier
	57	update.1.9.satisfied = Incomplete
	58
	59	update.2.location = remote
	60
	61	update.2.1.type = edge
	62	update.2.1.edgeType = LinkingSolution
	63	update.2.1.parentName = SAdmir: ?X.NRetTacUsr <<-?- USSH
	64	update.2.1.childName = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
	65	update.2.1.childType = RoleTarget
	66	update.2.1.childProcessing = verifier
	67
	68	update.2.2.type = node
	69	update.2.2.nodeType = RoleTarget
	70	update.2.2.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
	71	update.2.2.processing = verifier
	72	update.2.2.satisfied = Unknown
	73
	74	update.2.3.type = node
	75	update.2.3.name = SAdmir: ?X.NRetTacUsr <<-?- USSH
	76	update.2.3.processing = opponent
	77
	78	update.2.4.type = node
	79	update.2.4.nodeType = LinkingGoal
	80	update.2.4.name = SAdmir: ?X.NRetTacUsr <<-?- USSH
	81	update.2.4.processing = fully
	82	update.2.4.satisfied = Incomplete
	83
	84	update.2.5.type = edge
	85	update.2.5.edgeType = Implication
	86	update.2.5.parentName = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
	87	update.2.5.childName = SAdmir: USN.assignedNRet <<-?- USSH
	88	update.2.5.childType = RoleTarget
	89	update.2.5.childProcessing = verifier
	90	update.2.5.evidence.1 = RADMSmith.NRetTacUsr<-USN.assignedNRet
	91
	92	update.2.6.type = node
	93	update.2.6.nodeType = RoleTarget
	94	update.2.6.name = SAdmir: USN.assignedNRet <<-?- USSH
	95	update.2.6.processing = verifier
	96	update.2.6.satisfied = Unknown
	97
	98	update.2.7.type = node
	99	update.2.7.nodeType = RoleTarget
	100	update.2.7.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
	101	update.2.7.processing = verifier
	102	update.2.7.satisfied = Unknown
	103
	104	update.2.8.type = node
	105	update.2.8.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
	106	update.2.8.processing = opponent
	107
	108	update.2.9.type = edge
	109	update.2.9.edgeType = Control
	110	update.2.9.parentName = SAdmir: USN.assignedNRet <<-?- USSH
	111	update.2.9.childName = USSH: US.friendly.usr <<-?- SAdmir
	112	update.2.9.childType = LinkedRoleTarget
	113	update.2.9.childProcessing = opponent
	114
	115	update.2.10.type = node
	116	update.2.10.nodeType = LinkedRoleTarget
	117	update.2.10.name = USSH: US.friendly.usr <<-?- SAdmir
	118	update.2.10.processing = opponent
	119	update.2.10.satisfied = Unknown
	120
	121	update.2.11.type = edge
	122	update.2.11.edgeType = Implication
	123	update.2.11.parentName = USSH: US.friendly.usr <<-?- SAdmir
	124	update.2.11.childName = USSH: SE.usr <<-?- SAdmir
	125	update.2.11.childType = RoleTarget
	126	update.2.11.childProcessing = verifier
	127
	128	update.2.12.type = node
	129	update.2.12.nodeType = RoleTarget
	130	update.2.12.name = USSH: SE.usr <<-?- SAdmir
	131	update.2.12.processing = verifier
	132	update.2.12.satisfied = Unknown
	133
	134	update.2.13.type = node
	135	update.2.13.nodeType = LinkedRoleTarget
	136	update.2.13.name = USSH: US.friendly.usr <<-?- SAdmir
	137	update.2.13.processing = opponent
	138	update.2.13.satisfied = Unknown
	139
	140	update.2.14.type = node
	141	update.2.14.name = USSH: US.friendly.usr <<-?- SAdmir
	142	update.2.14.processing = verifier
	143
	144	update.3.location = local
	145
	146	update.3.1.type = edge
	147	update.3.1.edgeType = Implication
	148	update.3.1.parentName = USSH: SE.usr <<-?- SAdmir
	149	update.3.1.childName = USSH: SAdmir <<-?- SAdmir
	150	update.3.1.childType = TrivialTarget
	151	update.3.1.childProcessing = fully
	152	update.3.1.evidence.1 = SE.usr<-SAdmir
	153
	154	update.3.2.type = node
	155	update.3.2.nodeType = TrivialTarget
	156	update.3.2.name = USSH: SAdmir <<-?- SAdmir
	157	update.3.2.processing = fully
	158	update.3.2.satisfied = Satisfied
	159
	160	update.3.3.type = node
	161	update.3.3.nodeType = RoleTarget
	162	update.3.3.name = USSH: SE.usr <<-?- SAdmir
	163	update.3.3.processing = verifier
	164	update.3.3.satisfied = Unknown
	165
	166	update.3.4.type = node
	167	update.3.4.nodeType = RoleTarget
	168	update.3.4.name = USSH: SE.usr <<-?- SAdmir
	169	update.3.4.processing = verifier
	170	update.3.4.satisfied = Satisfied
	171
	172	update.3.5.type = node
	173	update.3.5.nodeType = LinkedRoleTarget
	174	update.3.5.name = USSH: US.friendly.usr <<-?- SAdmir
	175	update.3.5.processing = fully
	176	update.3.5.satisfied = Satisfied
	177
	178	update.3.6.type = node
	179	update.3.6.name = USSH: SE.usr <<-?- SAdmir
	180	update.3.6.processing = opponent
	181
	182	update.4.location = remote
	183
	184	update.4.1.type = edge
	185	update.4.1.edgeType = Implication
	186	update.4.1.parentName = SAdmir: USN.assignedNRet <<-?- USSH
	187	update.4.1.childName = SAdmir: USSH <<-?- USSH
	188	update.4.1.childType = TrivialTarget
	189	update.4.1.childProcessing = fully
	190	update.4.1.evidence.1 = USN.assignedNRet<-USSH
	191
	192	update.4.2.type = node
	193	update.4.2.nodeType = TrivialTarget
	194	update.4.2.name = SAdmir: USSH <<-?- USSH
	195	update.4.2.processing = fully
	196	update.4.2.satisfied = Satisfied
	197
	198	update.4.3.type = node
	199	update.4.3.nodeType = RoleTarget
	200	update.4.3.name = SAdmir: USN.assignedNRet <<-?- USSH
	201	update.4.3.processing = verifier
	202	update.4.3.satisfied = Unknown
	203
	204	update.4.4.type = node
	205	update.4.4.nodeType = RoleTarget
	206	update.4.4.name = SAdmir: USN.assignedNRet <<-?- USSH
	207	update.4.4.processing = verifier
	208	update.4.4.satisfied = Satisfied
	209
	210	update.4.5.type = node
	211	update.4.5.nodeType = RoleTarget
	212	update.4.5.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
	213	update.4.5.processing = fully
	214	update.4.5.satisfied = Satisfied
	215
	216	update.4.6.type = node
	217	update.4.6.nodeType = LinkingGoal
	218	update.4.6.name = SAdmir: ?X.NRetTacUsr <<-?- USSH
	219	update.4.6.processing = fully
	220	update.4.6.satisfied = Complete
	221
	222	update.4.7.type = node
	223	update.4.7.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
	224	update.4.7.processing = verifier
	225
	226	update.4.8.type = node
	227	update.4.8.name = SAdmir: USN.assignedNRet <<-?- USSH
	228	update.4.8.processing = opponent
	229
	230	update.5.location = local
	231
	232	update.5.1.type = edge
	233	update.5.1.edgeType = LinkingImplication
	234	update.5.1.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
	235	update.5.1.childName = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
	236	update.5.1.childType = RoleTarget
	237	update.5.1.childProcessing = opponent
	238
	239	update.5.2.type = node
	240	update.5.2.nodeType = RoleTarget
	241	update.5.2.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
	242	update.5.2.processing = opponent
	243	update.5.2.satisfied = Unknown
	244
	245	update.5.3.type = node
	246	update.5.3.nodeType = LinkedRoleTarget
	247	update.5.3.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
	248	update.5.3.processing = fully
	249	update.5.3.satisfied = Unknown
	250
	251	update.5.4.type = edge
	252	update.5.4.edgeType = Implication
	253	update.5.4.parentName = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
	254	update.5.4.childName = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
	255	update.5.4.childType = RoleTarget
	256	update.5.4.childProcessing = verifier
	257	update.5.4.evidence.1 = SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom
	258
	259	update.5.5.type = node
	260	update.5.5.nodeType = RoleTarget
	261	update.5.5.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
	262	update.5.5.processing = verifier
	263	update.5.5.satisfied = Unknown
	264
	265	update.5.6.type = node
	266	update.5.6.nodeType = RoleTarget
	267	update.5.6.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
	268	update.5.6.processing = opponent
	269	update.5.6.satisfied = Unknown
	270
	271	update.5.7.type = node
	272	update.5.7.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
	273	update.5.7.processing = verifier
	274
	275	update.6.location = remote
	276
	277	update.6.1.type = edge
	278	update.6.1.edgeType = Implication
	279	update.6.1.parentName = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
	280	update.6.1.childName = SAdmir: RADMSmith <<-?- RADMSmith
	281	update.6.1.childType = TrivialTarget
	282	update.6.1.childProcessing = fully
	283	update.6.1.evidence.1 = USEUCOM.NRetUSTacCom<-RADMSmith
	284
	285	update.6.2.type = node
	286	update.6.2.nodeType = TrivialTarget
	287	update.6.2.name = SAdmir: RADMSmith <<-?- RADMSmith
	288	update.6.2.processing = fully
	289	update.6.2.satisfied = Satisfied
	290
	291	update.6.3.type = node
	292	update.6.3.nodeType = RoleTarget
	293	update.6.3.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
	294	update.6.3.processing = verifier
	295	update.6.3.satisfied = Unknown
	296
	297	update.6.4.type = node
	298	update.6.4.nodeType = RoleTarget
	299	update.6.4.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
	300	update.6.4.processing = verifier
	301	update.6.4.satisfied = Satisfied
	302
	303	update.6.5.type = node
	304	update.6.5.nodeType = RoleTarget
	305	update.6.5.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
	306	update.6.5.processing = fully
	307	update.6.5.satisfied = Satisfied
	308
	309	update.6.6.type = node
	310	update.6.6.nodeType = LinkedRoleTarget
	311	update.6.6.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
	312	update.6.6.processing = fully
	313	update.6.6.satisfied = Satisfied
	314
	315	update.6.7.type = node
	316	update.6.7.nodeType = RoleTarget
	317	update.6.7.name = SAdmir: SAdmir.needsSLocs <<-?- USSH
	318	update.6.7.processing = fully
	319	update.6.7.satisfied = Satisfied
	320
	321	update.6.8.type = node
	322	update.6.8.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
	323	update.6.8.processing = opponent
	324

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

Download in other formats:

Original Format