Policy저장 테이블 – 구현 방법 1 Key Condition … ( $Pda_2 , $Pda_2 ! Hosts ( $Pda_1 ),$Pda_2!Friends($Pda_1),MODIFY) Key Condition … <$Pda_2, $Pda_2, Hosts, $Pda_1> $Pda_2 Freinds $Pda_1 예) checkRelationAccess(BobPda, BobPda, Hosts, JanePda) 호출 시 <$Pda, $Pda, Hosts, $Pda> <BobPda, BobPda, Hosts, $Pda> <$Pda_2, $Pda_2, Hosts, $Pda_1> … - Key 생성의 문제점 : Parameter로 받은 정보로 여러 개의 key를 만들어 내야한다.
<Pda1, Pda2, Hosts, Pda3> Policy저장 테이블 – 구현 방법 2 ( $Pda_2 , $Pda_2 ! Hosts ( $Pda_1 ),$Pda_2!Friends($Pda_1),MODIFY) Key Condition … <Pda1, Pda2, Hosts, Pda3> Pda1 Freinds Pda3 예) checkRelationAccess(BobPda, BobPda, Hosts, JanePda) 호출 시 Key 생성 : <Pda1, Pda2, Hosts, Pda3> 정보 손실 문제 : Key의 Pda1, Pda2이 같은 인스턴스여야한다는 정보 손실 >해결 : Key 생성 시 Entity들 간에 같은 인스턴스인 경우 조사하여 condition에 추가 Pda1 == Pda2
Policy저장 테이블 – 구현 방법 3 ( $Pda_2 , $Pda_2 ! Hosts ( $Pda_1 ),$Pda_2!Friends($Pda_1),MODIFY) TableKey Value RuleKey Condition … <Pda,Pda,Hosts,Pda> <$Pda_2,$Pda_2, Hosts,$Pda_1> $Pda_2 Friends $Pda_1 예) checkRelationAccess(BobPda, BobPda, Hosts, JanePda) 호출 시 Key 생성 : <Pda1, Pda2, Hosts, Pda3> RuleKey와 Condition정보 모두 만족시키는지 검사 (RuleKey속에 인스턴스의 equal정보 포함됨)
구현 방법 3으로 만든 테이블 결과 (Building:ubisoft/$Lobby/$Pda,$Lobby/$Printer.print,true,CALL) ($Pda,$Room/$Printer.print,$Pda!Owns($Room),CALL) ($Pda,$Lounge/$Printer.print,$Pda!Employed(Building:ubisoft),CALL) ($Pda_1,$Room/$Printer.print,$Pda_2!Hosts($Pda_1)^$Pda_2!Owns($Room),CALL) ($Pda_2,$Pda_2!Hosts($Pda_1),$Pda_2!Friends($Pda_1),MODIFY)
TableKey Value RuleKey Condition <Pda,Printer,print> <$Pda,$Printer,print> <$Pda_1,$Printer,print> <Pda,Pda,Hosts,Pda> <$Pda_2,$Pda_2, Hosts,$Pda_1> $Lobby IsIn Ubisoft $Pda $Printer $Printer IsIn $Room $Pda Owns $Printer IsIn $Lounge $Pda Employed ubisoft $Printer IsIn $Room $Pda_2 Hosts $Pda_1 Owns $Pda_2 Friends $Pda_1