update for v0.2.6

[openpts/openpts.git] / models / grub_pcr4hdd.uml
diff --git a/models/grub_pcr4hdd.uml b/models/grub_pcr4hdd.uml

deleted file mode 100644 (file)

index 5ef9cb2..0000000
--- a/models/grub_pcr4hdd.uml
+++ /dev/null
@@ -1,62 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<uml:Model xmi:version="2.1" xmlns:xmi="http://schema.omg.org/spec/XMI/2.1" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:uml="http://www.eclipse.org/uml2/3.0.0/UML" xmi:id="dd244de6-2775-11e0-94cd-001f160c9c28">
-  <packagedElement xmi:type="uml:StateMachine" xmi:id="Kk5bppv0" name="">
-    <region xmi:id="_H7LRwpSwEdy22t6WWvUZtA" name="grub">
-      <subvertex xmi:type="uml:Pseudostate" xmi:id="Start" name="Start"/>
-      <subvertex xmi:type="uml:State" xmi:id="CheckBIOS" name="ValidateMbrDigest" visibility="public">
-        <doActivity xmi:type="uml:Activity" xmi:id="_H7LRxpSwEdy22t6WWvUZtA" name="validateProperty(ipl.mbr.digest, base64)"/>
-      </subvertex>
-      <subvertex xmi:type="uml:State" xmi:id="Stage1" name="stage1" visibility="public"/>
-      <subvertex xmi:type="uml:State" xmi:id="Stage15" name="stage1_5" visibility="public"/>
-      <subvertex xmi:type="uml:State" xmi:id="Filesystem" name="fs_stage1_5" visibility="public"/>
-      <subvertex xmi:type="uml:State" xmi:id="Stage2" name="stage2" visibility="public"/>
-      <subvertex xmi:type="uml:State" xmi:id="MBRMeasureForRVS" name="MbrMeasureAgain" visibility="public"/>
-      <subvertex xmi:type="uml:State" xmi:id="GrubEventSepatrator4" name="GrubEventSepatrator4" visibility="public"/>
-      <subvertex xmi:type="uml:State" xmi:id="GRUB_PCR4_Verified" name="GRUB_PCR4_Verified" visibility="public">
-        <doActivity xmi:type="uml:Activity" xmi:id="_H7LRxJSwEdy22t6WWvUZtA" name="setAssertion(ipl.pcr.4.integrity, valid)"/>
-      </subvertex>
-      <subvertex xmi:type="uml:FinalState" xmi:id="Final"/>
-      <transition xmi:id="CheckBIOS_trans" name="CheckBIOS_trans" visibility="public" kind="local" source="Start" target="CheckBIOS"/>
-      <transition xmi:id="Stage1_trans" name="Stage1_trans" visibility="public" kind="local" source="CheckBIOS" target="Stage1"/>
-      <transition xmi:id="Stage15_trans" name="Stage15_trans" visibility="public" kind="local" source="Stage1" target="Stage15" guard="_H7LR6pSwEdy22t6WWvUZtA">
-        <ownedRule xmi:id="_H7LR6pSwEdy22t6WWvUZtA" name="">
-          <specification xmi:type="uml:OpaqueExpression" xmi:id="_H7LR65SwEdy22t6WWvUZtA" name="">
-            <body>eventtype == 0x0d, digest == base64</body>
-          </specification>
-        </ownedRule>
-      </transition>
-      <transition xmi:id="Filesystem_trans" name="Filesystem_trans" visibility="public" kind="local" source="Stage15" target="Filesystem" guard="_H7LSIJSwEdy22t6WWvUZtA">
-        <ownedRule xmi:id="_H7LSIJSwEdy22t6WWvUZtA" name="">
-          <specification xmi:type="uml:OpaqueExpression" xmi:id="_H7LSIZSwEdy22t6WWvUZtA" name="">
-            <body>eventtype == 0x0d, digest == base64</body>
-          </specification>
-        </ownedRule>
-      </transition>
-      <transition xmi:id="Stage2_trans" name="Stage2_trans" visibility="public" kind="local" source="Filesystem" target="Stage2" guard="_H7LR_pSwEdy22t6WWvUZtA">
-        <ownedRule xmi:id="_H7LR_pSwEdy22t6WWvUZtA" name="">
-          <specification xmi:type="uml:OpaqueExpression" xmi:id="_H7LR_5SwEdy22t6WWvUZtA" name="">
-            <body>eventtype == 0x0d, digest == base64</body>
-          </specification>
-        </ownedRule>
-      </transition>
-      <transition xmi:id="MBRMeasureForRVS_trans" name="MBRMeasureForRVS_trans" visibility="public" kind="local" source="Stage2" target="MBRMeasureForRVS" guard="_H7LR9JSwEdy22t6WWvUZtA">
-        <ownedRule xmi:id="_H7LR9JSwEdy22t6WWvUZtA" name="">
-          <specification xmi:type="uml:OpaqueExpression" xmi:id="_H7LR9ZSwEdy22t6WWvUZtA" name="">
-            <body>eventtype == 0x06</body>
-          </specification>
-        </ownedRule>
-      </transition>
-      <transition xmi:id="GrubEventSepatrator4_trans" name="GrubEventSepatrator4_trans" visibility="public" kind="local" source="MBRMeasureForRVS" target="GrubEventSepatrator4" guard="_H7LSB5SwEdy22t6WWvUZtA">
-        <ownedRule xmi:id="_H7LSB5SwEdy22t6WWvUZtA" name="">
-          <specification xmi:type="uml:OpaqueExpression" xmi:id="_H7LSCJSwEdy22t6WWvUZtA" name="">
-            <body>eventtype == 0x04</body>
-          </specification>
-        </ownedRule>
-      </transition>
-      <transition xmi:id="Final_trans" name="Final_trans" visibility="public" kind="local" source="GrubEventSepatrator4" target="GRUB_PCR4_Verified"/>
-      <transition xmi:id="KoByw0H0" visibility="public" kind="local" source="GRUB_PCR4_Verified" target="Final">
-        <name xsi:nil="true"/>
-      </transition>
-    </region>
-  </packagedElement>
-</uml:Model>