[461541a] | 1 | |
---|
| 2 | ==> RUN on acme_rockets_intersection_rt0 |
---|
| 3 | Generating key, this will take a while. Create entropy! |
---|
| 4 | - move the mouse |
---|
| 5 | - generate disk activity (run find) |
---|
| 6 | Generating key, this will take a while. Create entropy! |
---|
| 7 | - move the mouse |
---|
| 8 | - generate disk activity (run find) |
---|
| 9 | Generating key, this will take a while. Create entropy! |
---|
| 10 | - move the mouse |
---|
| 11 | - generate disk activity (run find) |
---|
| 12 | Generating key, this will take a while. Create entropy! |
---|
| 13 | - move the mouse |
---|
| 14 | - generate disk activity (run find) |
---|
| 15 | |
---|
| 16 | ===good============ Acme.buy_rockets <- Coyote |
---|
| 17 | success |
---|
| 18 | credential d3b44e2e48e6d9acf5062c37f55adce2235a447b.preferred_customer <- e8d4f94b7f585aaf97f461f7c3c983bfdabfbbf4 |
---|
| 19 | credential ef2e4e246b041f51396bfb6af90576dddf11a555.character <- e8d4f94b7f585aaf97f461f7c3c983bfdabfbbf4 |
---|
| 20 | credential d3b44e2e48e6d9acf5062c37f55adce2235a447b.buy_rockets <- d3b44e2e48e6d9acf5062c37f55adce2235a447b.preferred_customer & ef2e4e246b041f51396bfb6af90576dddf11a555.character |
---|
| 21 | |
---|
| 22 | ===bad============ Acme.bad_buy_rockets <- Coyote |
---|
| 23 | fail, here's a partial proof |
---|
| 24 | credential d3b44e2e48e6d9acf5062c37f55adce2235a447b.buy_rockets <- d3b44e2e48e6d9acf5062c37f55adce2235a447b.preferred_customer & ef2e4e246b041f51396bfb6af90576dddf11a555.character |
---|
| 25 | credential d3b44e2e48e6d9acf5062c37f55adce2235a447b.preferred_customer <- e8d4f94b7f585aaf97f461f7c3c983bfdabfbbf4 |
---|
| 26 | credential ef2e4e246b041f51396bfb6af90576dddf11a555.character <- e8d4f94b7f585aaf97f461f7c3c983bfdabfbbf4 |
---|
| 27 | |
---|
| 28 | ===bad============ 99Acme.buy_rockets <- Coyote |
---|
| 29 | fail, here's a partial proof |
---|
| 30 | credential d3b44e2e48e6d9acf5062c37f55adce2235a447b.buy_rockets <- d3b44e2e48e6d9acf5062c37f55adce2235a447b.preferred_customer & ef2e4e246b041f51396bfb6af90576dddf11a555.character |
---|
| 31 | credential d3b44e2e48e6d9acf5062c37f55adce2235a447b.preferred_customer <- e8d4f94b7f585aaf97f461f7c3c983bfdabfbbf4 |
---|
| 32 | credential ef2e4e246b041f51396bfb6af90576dddf11a555.character <- e8d4f94b7f585aaf97f461f7c3c983bfdabfbbf4 |
---|
| 33 | |
---|
| 34 | ===bad=============== Acme.buy_rockets <- Batman |
---|
| 35 | fail, here's a partial proof |
---|
| 36 | credential d3b44e2e48e6d9acf5062c37f55adce2235a447b.preferred_customer <- e512543f8a53d70080c39a95bf1b3382d2e568a6 |
---|
| 37 | credential d3b44e2e48e6d9acf5062c37f55adce2235a447b.buy_rockets <- d3b44e2e48e6d9acf5062c37f55adce2235a447b.preferred_customer & ef2e4e246b041f51396bfb6af90576dddf11a555.character |
---|
| 38 | |
---|
| 39 | ==> RUN on acme_rockets_rt0 |
---|
| 40 | Generating key, this will take a while. Create entropy! |
---|
| 41 | - move the mouse |
---|
| 42 | - generate disk activity (run find) |
---|
| 43 | Generating key, this will take a while. Create entropy! |
---|
| 44 | - move the mouse |
---|
| 45 | - generate disk activity (run find) |
---|
| 46 | |
---|
| 47 | ===good============ Acme.preferred_customer <- Coyote |
---|
| 48 | success |
---|
| 49 | credential 4903b59978115a1e2a8f8bd239747330b35c05b8.preferred_customer <- cc40ac498c3e29aff34137b46cdf408f186adb1f |
---|
| 50 | |
---|
| 51 | ===good=============== Acme.buy_rockets <- Coyote |
---|
| 52 | success |
---|
| 53 | credential 4903b59978115a1e2a8f8bd239747330b35c05b8.preferred_customer <- cc40ac498c3e29aff34137b46cdf408f186adb1f |
---|
| 54 | credential 4903b59978115a1e2a8f8bd239747330b35c05b8.buy_rockets <- 4903b59978115a1e2a8f8bd239747330b35c05b8.preferred_customer |
---|
| 55 | |
---|
| 56 | ===bad=============== Acme.buy_rockets <- Acme.preferred_customer |
---|
| 57 | success |
---|
| 58 | credential 4903b59978115a1e2a8f8bd239747330b35c05b8.buy_rockets <- 4903b59978115a1e2a8f8bd239747330b35c05b8.preferred_customer |
---|
| 59 | |
---|
| 60 | ===bad=============== Coyote.friend <- Acme |
---|
| 61 | fail, here's a partial proof |
---|
| 62 | |
---|
| 63 | ==> RUN on experiment_create_rt0 |
---|
| 64 | Generating key, this will take a while. Create entropy! |
---|
| 65 | - move the mouse |
---|
| 66 | - generate disk activity (run find) |
---|
| 67 | Generating key, this will take a while. Create entropy! |
---|
| 68 | - move the mouse |
---|
| 69 | - generate disk activity (run find) |
---|
| 70 | Generating key, this will take a while. Create entropy! |
---|
| 71 | - move the mouse |
---|
| 72 | - generate disk activity (run find) |
---|
| 73 | Generating key, this will take a while. Create entropy! |
---|
| 74 | - move the mouse |
---|
| 75 | - generate disk activity (run find) |
---|
| 76 | |
---|
| 77 | ===good=============== Globotron.admin <- Alice |
---|
| 78 | success |
---|
| 79 | credential 59981b7767298f8e155e2db3fec4dbc485f9922d.admin <- 4d8648573803d8c4e7e01e9089221ec59c6e4aee |
---|
| 80 | |
---|
| 81 | ===bad=============== Globotron.admin <- Bob |
---|
| 82 | fail, here's a partial proof |
---|
| 83 | credential 08c10e98a109c39388e3a289c53298c9fb07b6e8.experiment_create <- 08c10e98a109c39388e3a289c53298c9fb07b6e8.partner.experiment_create |
---|
| 84 | credential 59981b7767298f8e155e2db3fec4dbc485f9922d.experiment_create <- 59981b7767298f8e155e2db3fec4dbc485f9922d.admin.power_user |
---|
| 85 | credential 4d8648573803d8c4e7e01e9089221ec59c6e4aee.power_user <- dde47feb81858a19478877336013ad436f62cfc6 |
---|
| 86 | credential 59981b7767298f8e155e2db3fec4dbc485f9922d.admin <- 4d8648573803d8c4e7e01e9089221ec59c6e4aee |
---|
| 87 | credential 08c10e98a109c39388e3a289c53298c9fb07b6e8.partner <- 59981b7767298f8e155e2db3fec4dbc485f9922d |
---|
| 88 | |
---|
| 89 | ===good=============== Acme.experiment_create <- Bob |
---|
| 90 | success |
---|
| 91 | credential 4d8648573803d8c4e7e01e9089221ec59c6e4aee.power_user <- dde47feb81858a19478877336013ad436f62cfc6 |
---|
| 92 | credential 59981b7767298f8e155e2db3fec4dbc485f9922d.admin <- 4d8648573803d8c4e7e01e9089221ec59c6e4aee |
---|
| 93 | credential 59981b7767298f8e155e2db3fec4dbc485f9922d.experiment_create <- 59981b7767298f8e155e2db3fec4dbc485f9922d.admin.power_user |
---|
| 94 | credential 08c10e98a109c39388e3a289c53298c9fb07b6e8.partner <- 59981b7767298f8e155e2db3fec4dbc485f9922d |
---|
| 95 | credential 08c10e98a109c39388e3a289c53298c9fb07b6e8.experiment_create <- 08c10e98a109c39388e3a289c53298c9fb07b6e8.partner.experiment_create |
---|