Index: examples/acme_friend_rt1_typed/Acme_ID.pem
===================================================================
--- examples/acme_friend_rt1_typed/Acme_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_friend_rt1_typed/Acme_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDAzCCAeugAwIBAgIIZNgq5hLCv9IwDQYJKoZIhvcNAQEFBQAwDzENMAsGA1UE
+AxMEQWNtZTAeFw0xMjAxMTcyMTQ0MzFaFw0xNTAxMDEyMTQ0MzFaMA8xDTALBgNV
+BAMTBEFjbWUwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQCx+ULTzLJ+
+xs4A29T8Elw23bsSmciFFLGLHu59/VfxXvWSIwXkBv9/UHsJikep5HT24sXurvcX
+/jA5YtRBdApvLm7krgPTPn9owa0nRr/fiF2wSaMyfjHkQQh/Zm08Qbg9HQB2WSjx
+Ma6Y2mmGhhzl1ovFnceRN+fuPxyVGMc/6RRnKgnI1sKLnPBe2HzIczEqah71rH4l
+DvRw0BbEdntre7EmLDC/Yie+zHILfaiQNR61zupgwmzRha3agZnoO/yEIs9GcBj6
+DTZ2M5wBN5AW96aauAj0OooLnjk2PO0uu2GiVFRe6LpvbFSamPeGJsNYOtSzfp7b
+wtYrfohzSXUFAgMBAAGjYzBhMA8GA1UdEwEB/wQFMAMBAf8wDgYDVR0PAQH/BAQD
+AgEGMB0GA1UdDgQWBBTo+QgckbApXI1FdoyDrhmSgvny1jAfBgNVHSMEGDAWgBTo
++QgckbApXI1FdoyDrhmSgvny1jANBgkqhkiG9w0BAQUFAAOCAQEAmd5MD5umvGYg
+kie01+0dId7Jhyd3DJ3U1v0oMvy/jNCBCZBoe6ojlLI+5KLQqHT8ui7fb63bQbrD
+cCyTxNCeZFvE0TROK0+3Ljldicw8jrUpeUnTJUaIJ/Dlp02cxqDRW3fIKRVIOWjQ
+w8a4sQC6Ihe12APLLlnEy0fFde1U41qqPlnrCR9EsBBuRyKK2bTviIuN3CrntdBF
+DMaAUfM+zkp+AIon7YcKI/2vuEzHCKel5mTCC9HdOnh3sqJFAWIwtWwTUubfQ+zs
+buj1clGMgPFF+epmwxUAko32vIZrCuxkHxeuhvCYh9zThlUK49wj194Za9pv68xN
+q0BIMA8OsQ==
+-----END CERTIFICATE-----
Index: examples/acme_friend_rt1_typed/Acme_private.pem
===================================================================
--- examples/acme_friend_rt1_typed/Acme_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_friend_rt1_typed/Acme_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEpAIBAAKCAQEAsflC08yyfsbOANvU/BJcNt27EpnIhRSxix7uff1X8V71kiMF
+5Ab/f1B7CYpHqeR09uLF7q73F/4wOWLUQXQKby5u5K4D0z5/aMGtJ0a/34hdsEmj
+Mn4x5EEIf2ZtPEG4PR0Adlko8TGumNpphoYc5daLxZ3HkTfn7j8clRjHP+kUZyoJ
+yNbCi5zwXth8yHMxKmoe9ax+JQ70cNAWxHZ7a3uxJiwwv2InvsxyC32okDUetc7q
+YMJs0YWt2oGZ6Dv8hCLPRnAY+g02djOcATeQFvemmrgI9DqKC545NjztLrtholRU
+Xui6b2xUmpj3hibDWDrUs36e28LWK36Ic0l1BQIDAQABAoIBAQCB+wILndxfKuMZ
+TXRoBSDEEXynQRlp2IsyiAy2h2jLKAdCC8Ipn9LKMQUrGorsUaX7CfR1NePQ6hxe
+TQeoJg/Y05i5+z1f8q0q3QiRPuKzZuzF64H9Rp05jyWdpjjxYS4ltCC6TrPQM/DI
+Qfv/+8LvOZorYeh27tW88ur1GXur+F16x4HrWyeNvu5QZdh+Ee23ZE6owSrTowQi
+jWUbEdOp8XrgnhMvRURQMsdFbVkvHlkWiLIDt8+06HY3uVGuuw1N+Um1gMvehyBN
+m0NJUg7Q27ACmRklliJv663tIZePgdkFMK3s0wJevZO31si7WhMZ5sZ0nlOxiQ7D
+Y6kU13gBAoGBAOqIUA8e3yeS66I0KUnkLJOI5RHmo4+tp7WZ5H95QD+V9XyP1yOQ
+6MEbRnOTPhTK4ebcK+XrMBFJlu1zmBkAxuz7ZX3OycL6NMUafm1l/RpYPXF6WnSI
+zxNmvqKy7WXG3MlE4fKjfHzy3ghPyfbqmdEhqukyOxWV3L65Sp2901hBAoGBAMJD
+ohKyBuhpqSdnjJ8U08C1v2GfksZkKQh4GBecun92KlBjXeNkV35mTH1rmejwB6dU
+TNbzvlM/Z/7qBEf+9x1DeTObnvgVZQHe1WWFgZ2QoaSDMx04NN2wDRU/EQiTl1m6
+i095nCq8cD9tSEKeMDuon+uzYroYQvCSJwOF68vFAoGAYPSrTCTyEfUd7ndr3j0y
+5GcCc+0KDvq2S0/sc3pXwjGnQ7BfOzfL0REKhfsH/iaFTyAUEb+xpmPqvg08gpGc
+qxmesmzLYgx3xkgWnfk8sihqdkAjputr19Rw2OfpVlroqVgNpHZLn4fznDIIB0ij
+AB7P/gmi/WBv2nTVUPLJrUECgYBffQsvkV6f40AIZHfUwlILycqW2+8zoYwh45ZE
+FP//I0BNX2qJGYuAUByNEdUHkOTSNTfH+Ou209X0kWclVIh3U/FBkt8jJrENqFDQ
+pD1ADBXIXc1EMZqa1ay4otVml9Wvf2h22loPD61FIByC0mr3CD4Dh5uhycctpUmU
+C8IJ2QKBgQCa49uYMEvMBREoVoA1Csycc9EYflp66OLT02LL8GGEruqQR6jFRasx
+o82KkA979vww5VL05MkAytqqUBMkYdzy0enD/T/JuGmOrgs+BXUK91THvLuml+AI
+aD0dSVopsv+ewXcji3LNiK2gaNlYyp4NRT2LOpz1S8YUCKv8CJMTXQ==
+-----END RSA PRIVATE KEY-----
Index: examples/acme_friend_rt1_typed/Coyote_ID.pem
===================================================================
--- examples/acme_friend_rt1_typed/Coyote_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_friend_rt1_typed/Coyote_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDBzCCAe+gAwIBAgIIVN1hAKb6/xkwDQYJKoZIhvcNAQEFBQAwETEPMA0GA1UE
+AxMGQ295b3RlMB4XDTEyMDExNzIxNDQzMloXDTE1MDEwMTIxNDQzMlowETEPMA0G
+A1UEAxMGQ295b3RlMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuUaD
+sJ35h6yjbILLa4HhJs6H6nvNftpiJOh3Tld/YOFxVN4AyY/90hPthHjHqucwiVg8
+qLbf8wnJmpxuaM1T6ozoAjPS8z5WVuBPHPusYvCVHBQs6G8kDJxpdiP4EETe+KyD
+14828+JkKn6VV6lyR0cR/lyTEXADy+iG+abiMwvqrWklMuRoB2rsrkjGpSvP1pL5
+RxkVWxL4btMfbtjcZrHj9dLpbp5oEAFDvlH2AvLdY4UC54YiylDrzbO7+jNGCemp
+zTPekVQWlbIp8UtlrpemclGypr801KSihOR6lONGXL1sa9rfixXnJM0THa65uiyb
+b7pB4WRdown0XCmMZwIDAQABo2MwYTAPBgNVHRMBAf8EBTADAQH/MA4GA1UdDwEB
+/wQEAwIBBjAdBgNVHQ4EFgQUyiYVPYMGxnRY0r8KhsgqzwCoZnYwHwYDVR0jBBgw
+FoAUyiYVPYMGxnRY0r8KhsgqzwCoZnYwDQYJKoZIhvcNAQEFBQADggEBAJdf+zBC
+rZ3q49R6nAbtCrB5L96mk4cCNytFZ02trweuZq0dB8MfnJsG2WgA0u10gNvlvZJ3
+WXDM+oCvZ6YpYZB2wftDJm5Z5jUncqpmCET4iHmIpG4U2zdgUOg/K1/2nUxpEg/K
+RF96RKigrDqZTiED/S7B0hBGtySh5vF/EnAOb6kJXJzdL5cD8sBDUK6PEla02wsL
+Q2pcDlJ0vvjhLtA9YSWo3REEe6Zwy24xA6tHC8VadODiJ5WHhxxBoUQ8gFGVtCn+
+kdYXwW8qLsudI/PrFNjKowQh1B2VOQZnSeWSZ/rBKCb9TXz8V1M9s6z6Qh9zkiU/
+Eh8Yl+KL88eHOzA=
+-----END CERTIFICATE-----
Index: examples/acme_friend_rt1_typed/Coyote_private.pem
===================================================================
--- examples/acme_friend_rt1_typed/Coyote_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_friend_rt1_typed/Coyote_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEowIBAAKCAQEAuUaDsJ35h6yjbILLa4HhJs6H6nvNftpiJOh3Tld/YOFxVN4A
+yY/90hPthHjHqucwiVg8qLbf8wnJmpxuaM1T6ozoAjPS8z5WVuBPHPusYvCVHBQs
+6G8kDJxpdiP4EETe+KyD14828+JkKn6VV6lyR0cR/lyTEXADy+iG+abiMwvqrWkl
+MuRoB2rsrkjGpSvP1pL5RxkVWxL4btMfbtjcZrHj9dLpbp5oEAFDvlH2AvLdY4UC
+54YiylDrzbO7+jNGCempzTPekVQWlbIp8UtlrpemclGypr801KSihOR6lONGXL1s
+a9rfixXnJM0THa65uiybb7pB4WRdown0XCmMZwIDAQABAoIBACD1JDPkxiCWWzPQ
+SHNFVVHb512UzEdGfbLnD2IGOoh3Ufuwyh8Q2Cvok5W/DnWeTooAAjpY3ZmUIiK4
+tQM7kzPkANlzcpEGg8FMgYY8Vrv64+tsw1hNfPIpWLFFULlEJw3BUmqj9TiJCxxs
+DBDd+ZAoWlEPErJFZMd/A5OhVheSN4gjHRvxv9/Zn2ul7Z+IWTy84wT7CElEH6yJ
+yUFhaPnna4UsofmcS7IIFrUVPXfEzPHRl9J30HyxP9n1h0LvRvLxazyyrA2MfHIN
+ZluU86g6Lyy7vG0IOWE2tU2HPk3fdmW9c6MXb46DmNh02oYL6hX6VmcU9vJSlgFK
+5t/Um1ECgYEA5JAFiNEGD2dhBV0Fapntp6SD4ZkFrXnAv0+0+2NztF5v6yT7Y1Ac
+MWImek9YANqtnORV0DKkSWaLRebKVmlTdvH6KAvNq1egIngAWF48AzeSBh26bC3w
+mGqc7fVfQvsPHXmBSeIpZvQ8z36pRZ1AqCzWOkgpYzMxYIMBL6j0CCsCgYEAz4Q7
+T3VC95MMxjgRe/wA9jyNfqvg9a+YvD9HHwMftrGvmtFHGFylq8IbESubWG88lZjS
+JJuBYi8p5tSnwYVP2OHobprAyYJVAJO04kkpIzJWUUHcmM1Kq9eEPxLpfIc2ZivV
+0aDby0ngtE31XAp0p0WnRMvKW7tMDxckkKQGUrUCgYB2EvDI/TJkQsOcQbHKoDpl
+oFeA88w7EerA6ixUscvUIfUvRKuZYokt+cZm6RZNWqrVoh+yrnawdIj+U3uzqDW1
+/Mt+ZJqbKWlQZS3IeOYHw21sO29S82iXVHw9ccUElS35zAs+X9eDmCjSCFzp2ZLN
+TlxdP2oiFRAtC4BRXraygQKBgHQs4U+ApHcZ+iLWrOMumBNCnyx1aUHihq2M93Ij
+O5P6MgeIdjbrV0yrJKAeO5/s1owhvDQGYw7mvJygHTK4QZV4E7ooJRorPw9Nogy1
+TLSJr81aA/f/pnhB9aWiHtk6kXftvozXc3WB7KzEoEJhECG9WwGm3akxWElyeWQI
+kAmpAoGBAIg3gR5cBzPoL2e5o/DZQtRCm7tdByKeLJEDVcBbMz6Dz0O9rsFQ6PyA
+YRzLCX0pBqZGYRFKOBtn4ctJczQydn8qcHE44meN+BIVEFJSL2sEvdMA1g6hn30J
+vXCvA758tTZZuZ3SbOicQUL6ljm0KTEpJiKJL1jsiHPOavFD7Szq
+-----END RSA PRIVATE KEY-----
Index: examples/acme_friend_rt1_typed/Jackrabbit_ID.pem
===================================================================
--- examples/acme_friend_rt1_typed/Jackrabbit_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_friend_rt1_typed/Jackrabbit_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDDzCCAfegAwIBAgIIB+LcvzosCAQwDQYJKoZIhvcNAQEFBQAwFTETMBEGA1UE
+AxMKSmFja3JhYmJpdDAeFw0xMjAxMTcyMTQ0MzVaFw0xNTAxMDEyMTQ0MzVaMBUx
+EzARBgNVBAMTCkphY2tyYWJiaXQwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEK
+AoIBAQC7HLODU6TPUUWAfwZlAQMcnBYEB91B8KMvqznHRjyqkeuJs5ML9MXEWPJ5
+VpYY7YjwG38VHwqhMK6aJoLJ7S1ChM+Mko0SKw2J2wXskwIjEjofgyCd+e/AVFIl
+BcSB5xQoKoGBz67b/J1Uem8HzggCF9ImRT7PKo2iSGYV3fxg+yIR/gzERGvUklZA
+cFlWg0/6wxYxO29/EbMRXOA/AZ0qj99KVNsVrEUsapFxHQcBzyYlH47HGi23N1uy
+3a0YKX1ID1Bbihtc302C3NuQKiFluZYjCFANERF8JEi2ARpM1gbjS/VmkK+97Y6S
+tjxjtlCBcDCo+UI1zwp9YA4A/CtVAgMBAAGjYzBhMA8GA1UdEwEB/wQFMAMBAf8w
+DgYDVR0PAQH/BAQDAgEGMB0GA1UdDgQWBBTxqlFhk28yiOOUtFspaVCrShx6xzAf
+BgNVHSMEGDAWgBTxqlFhk28yiOOUtFspaVCrShx6xzANBgkqhkiG9w0BAQUFAAOC
+AQEAoOFy7H833Hz8eSECMHz3mKehr7HB6WxMLgdNcKoLHLjKhTqGFIAgCFQ7fG1E
+qz3NVjglQYxRFDu8d/cOU8KzU1uy3TUOCjpl9xL5MgQ3d+YlnplRepBFws9MGqwb
+vv+lGiEMSvvKseOyLAh8h/8OSAm89/QDj6j0h3xRob5Yj9tOMd7wBe8/9e5jc195
+t7Y4z8LO1kF4eqpGUdxQYteTcWxQnSdR4JPsx3xNXjBtsanKONMmNuH0f2OsJImg
+Of1e7PLQSnPvcwwvMsmOL5EZSf9MQQamhLXUaiJt1EAtTrTF9Y7jfsNVRElvb8la
+ZF7PKLcfeLzU9icvLo/tllRy/A==
+-----END CERTIFICATE-----
Index: examples/acme_friend_rt1_typed/Jackrabbit_private.pem
===================================================================
--- examples/acme_friend_rt1_typed/Jackrabbit_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_friend_rt1_typed/Jackrabbit_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEowIBAAKCAQEAuxyzg1Okz1FFgH8GZQEDHJwWBAfdQfCjL6s5x0Y8qpHribOT
+C/TFxFjyeVaWGO2I8Bt/FR8KoTCumiaCye0tQoTPjJKNEisNidsF7JMCIxI6H4Mg
+nfnvwFRSJQXEgecUKCqBgc+u2/ydVHpvB84IAhfSJkU+zyqNokhmFd38YPsiEf4M
+xERr1JJWQHBZVoNP+sMWMTtvfxGzEVzgPwGdKo/fSlTbFaxFLGqRcR0HAc8mJR+O
+xxottzdbst2tGCl9SA9QW4obXN9NgtzbkCohZbmWIwhQDRERfCRItgEaTNYG40v1
+ZpCvve2OkrY8Y7ZQgXAwqPlCNc8KfWAOAPwrVQIDAQABAoIBAFhuwjDpUVViddS7
+NEx8Y/obkxQom1vU3WtkI5SZD4cWHBoisvbNosKfv0m1sI7rhPLmK/PRjfaMyZi1
+Zs8Et4Veu7EWenIBww5KY8xh1nq43JuUH9BKFhPyRjiVN0Cl9BLftAGkJGJ4S+tn
+Sh6IM6S5mWrZA0xqMjJmwUjId8VlXEvAywRZKMkuN1HGvMQSQl/L/z+uH/LURu+m
+k3MXSfZ0l/KxeJjRRCHTv+ISiaA3qQ9y1cONV7yYFeKgawvKAhGfBXj0JE+u2wCn
+5VlSh+xYUA1q0vQ3qBxUu4mojlRmTQvYQRImbAYbdW07Eoa+ppfAXmFZIHTWGdKO
+SfFBz8ECgYEA67hdunIXP1L7fQyBdmao+YQxuAFfbhO4q6U6mL95KL/oYVVrqcx+
+avAMZQy3uXrms0GtOSpzc3fQieILzP2o/ZT7mgEZ65YrQVHwckfqHtXrcR6vVqT3
+8WCPCH2FO0PyQbWoFZRzG/DiwOcKwEV9LD+XsfbucpxyuF2O/8hKuHkCgYEAyzXD
+ge85+ag6ZF5ypH8X5Eo/dAJbhV7Q8IMuRV5Z6gNajt9tPW7aIwIiOLVfZ3TQRXiu
+JX1qvv4G6JrMG/C9DKMmTK1fVQULeBYe9b55Of8AJQCv6z+T/Xo+SaO2kb/FuSjm
+3OAFfeC3mGODJ1ZVMtEaallyDxMVOEhQbnq3Sr0CgYEAozwhbCPmBWwpzAcFAEFH
+csMgyxPoSgpOME9TrMOr25RKEF1fGU8LnHJvouqTsFZzvF8W3iePm761I0budR6U
+EEdDlPp+QK7VdX6QzBMRBhmN2eAt/ApxyS3c3zxNLyV2dhqeM5OBwy+lV4Cn6U41
+yJahLhSaO7QrnZDsniTN2cECgYAQbjlvoRsr74lBIk3ctRYGdGZrB+HEh+UW/VRZ
+cYaNoFXLJY+cnwDuQbbopOmg4NYSN+7Ewz5FUR7X4eRNAgsXIX3wRzhlFHJX9Fnu
+fscohFDLrSGMQOjDXwX4SE9zu3DORttb0pU/F1Ng8/Lf1GAxKq0bGj5Zr65QjbBL
+LorxdQKBgDXn0P2cgACAdzHfBdi7Wl0QOmbGJ1q8NbY3FK1FmdsCnRBlYX8E9Vf+
+toUshaNdaH6IUqmoaIhyiTrKmbafE4WPAlQL9TtqCyxFdjI+Dru5UkzEqYNSmYwY
+sVGO+4HNloETovtuRxY67Ap6J3T7wKw2Ff2ZIPqXnO+ddwUCGmCD
+-----END RSA PRIVATE KEY-----
Index: examples/acme_friend_rt1_typed/README
===================================================================
--- examples/acme_friend_rt1_typed/README	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_friend_rt1_typed/README	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,32 @@
+#!/bin/sh
+
+rm -rf *.der *.pem
+
+#[keyid:Acme].role:friendof([keyid:Roadrunner]) <-?- [keyid:Coyote] (no)
+#[keyid:Acme].role:preferred_customer <-?- [keyid:Jackrabbit] (yes)
+
+creddy --generate --cn Acme
+creddy --generate --cn Coyote
+creddy --generate --cn Roadrunner
+creddy --generate --cn Jackrabbit
+
+roadrunner_keyid=`creddy --keyid --cert Roadrunner_ID.pem`
+friendof_roadrunner="friendOf([keyid:$roadrunner_keyid])"
+
+#[keyid:Acme].role:preferred_customer <- [keyid:Acme].role:friendOf([keyid:Roadrunner])
+creddy --attribute \
+       --issuer Acme_ID.pem --key Acme_private.pem --role preferred_customer \
+       --subject-cert Acme_ID.pem --subject-role  $friendof_roadrunner \
+       --out Acme_preferred_customer__Acme_friendof_Roadrunner_attr.der
+
+#[keyid:Acme].role:prefered_customer <- [keyid:Coyote]
+creddy --attribute \
+       --issuer Acme_ID.pem --key Acme_private.pem --role preferred_customer \
+       --subject-cert Coyote_ID.pem \
+       --out Acme_preferred_customer__Coyote_attr.der
+
+#[keyid:Acme].role:friendOf([keyid:Roadrunner]) <- [keyid:Jackrabbit]
+creddy --attribute \
+       --issuer Acme_ID.pem --key Acme_private.pem --role $friendof_roadrunner \
+       --subject-cert Jackrabbit_ID.pem \
+       --out Acme_friendof_Roadrunner__Jackrabbit_attr.der
Index: examples/acme_friend_rt1_typed/Roadrunner_ID.pem
===================================================================
--- examples/acme_friend_rt1_typed/Roadrunner_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_friend_rt1_typed/Roadrunner_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDEDCCAfigAwIBAgIJAJTM+yBUL15WMA0GCSqGSIb3DQEBBQUAMBUxEzARBgNV
+BAMTClJvYWRydW5uZXIwHhcNMTIwMTE3MjE0NDMzWhcNMTUwMTAxMjE0NDMzWjAV
+MRMwEQYDVQQDEwpSb2FkcnVubmVyMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIB
+CgKCAQEA3jsr75cndxbh+OwvAtjd8pRLMUWBDPfSEoc/5gGEz3sh0EQm6lN1/dlJ
+nSUcQA+bXZv/BaQ0GIGCutZaedAylAGlsbWzXSccyuXjl9hUvD0tH8RiqEADOKH+
+kUN404o3xJyye8IDBi6lB7drpTtlMXFU728tAol+yhvb+hjI/xu6/9jaJSMCzIRr
+hjk9WZXlRExSSDH/+lP5qMublcgbdyTYqiw9BVYAFIz6ASt1wmhbjIR3fnw59oWU
+anv9rSE1536h9O2AVfqiQxH3dx2Em9YvDuT04zoL0Z15Jt6D041DbAWhDZtSLEXv
+Nb2YWbN0hY4rBmOPOTYJDbIS1B7yjQIDAQABo2MwYTAPBgNVHRMBAf8EBTADAQH/
+MA4GA1UdDwEB/wQEAwIBBjAdBgNVHQ4EFgQUeB8Qcc1EzgNGAqC+UghcUL6NBzsw
+HwYDVR0jBBgwFoAUeB8Qcc1EzgNGAqC+UghcUL6NBzswDQYJKoZIhvcNAQEFBQAD
+ggEBACVIsRwUBv2GYp9ROYNwLW9LH2Qyhf58Yo0720wdbyrFUhofyVqbbc85e27w
+84UY+J/W1SFsYe1h0+Sp7Hw9mt0Y4WCEyFgv3VziK9uoekyyc0WPK6/GHtCoVC2y
+rSwClSJQ1zA6+uPRZ6mdifqB0Zsyl0is3Sym9LXhBvp7waDC17Uu3pfhX3gH7Gp4
+oJpKHlS7LpK9bIH8gH6AQAKYFQlqmqEcXQQW9NDuJQfq23tFZiWcVcQ9TRjANPRD
+oJyv28SDsVs1qy7bHgLs5vLYoJpji+9NlukzfimeXy0bcybj8glBBYtLEBVZobK8
+J9QftL1Oll7gB45v4vPXdg0y6Ok=
+-----END CERTIFICATE-----
Index: examples/acme_friend_rt1_typed/Roadrunner_private.pem
===================================================================
--- examples/acme_friend_rt1_typed/Roadrunner_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_friend_rt1_typed/Roadrunner_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEowIBAAKCAQEA3jsr75cndxbh+OwvAtjd8pRLMUWBDPfSEoc/5gGEz3sh0EQm
+6lN1/dlJnSUcQA+bXZv/BaQ0GIGCutZaedAylAGlsbWzXSccyuXjl9hUvD0tH8Ri
+qEADOKH+kUN404o3xJyye8IDBi6lB7drpTtlMXFU728tAol+yhvb+hjI/xu6/9ja
+JSMCzIRrhjk9WZXlRExSSDH/+lP5qMublcgbdyTYqiw9BVYAFIz6ASt1wmhbjIR3
+fnw59oWUanv9rSE1536h9O2AVfqiQxH3dx2Em9YvDuT04zoL0Z15Jt6D041DbAWh
+DZtSLEXvNb2YWbN0hY4rBmOPOTYJDbIS1B7yjQIDAQABAoIBAQDUIgmzoEcU3+v/
+MH1Dq35aFAKe2ujwVxPZie+OAD8lyzUg2B2JqvfDxIoHjqgj4oH9Xm6WlQMBrYb8
+EKe3Be1x6Qyg0YCQ2Egcyktx5BgmxALyAwXl84zfn4sgYRbSX2sSrD2X8z/tw9LW
+xdjklgjnpHZeRHLjrBoylVtrpgMfuDJv5ci8HHT4CUElbIUbqAHXZ+HrQ65U7LZv
+hrfHNX4iKZYL/eiDC6H93//VF/aFDoNhBh4xK4RAqHqIIhkx5EXHT9ESVmqTLpXD
+2Dqv+QddJcpkemypQzuMV3nkmbuzJS926EevKWrWkkSS1ayretCUainoHImepVyO
+4yrSD5chAoGBAO6OCGkslz+pSDkuvRZja4dYcTnjF7dn6SDlXw6sJcuHJHNQHFcz
+VDTDVoc/MsLPnrsPQD02hH4kAkjm+X3rDSpMzb0CW1FazTxq6kQzjMMe4s7q6rf8
+bScx7Aw1+6O7eepzpzvjwCq3rejgusO/bgKDA1yVl7eonzmGtRoSxiZZAoGBAO57
+i18iOTxdfF1dGtbIm3WQYZ962Ihdqlrv91/8QIy5OKQ3iXPd5e5CBtyskghw9MwT
+mfYNPyoPRzJzcg9B0yEHPqknESq/WHWooQep1lly6XuOh4CCUHS/G7ndWQnnZmtl
+jmGY8eTlmhQRp0mNGc1ucdnq/V/XJEdyREdEHQ9VAoGAYmsasTmCVPNkJqNPw5LU
+5Avq+rTkLfiix72Z0BXZqfRhZ2mfp6I3lWUZp8a9DH5XwFj0acy6MMhuYOFaAUce
+MVtqbhYw0omhrtF1QRn7cuylKjTlDW8JIWiJOCh1XwGTtNRuJFk8COOqzi8ZHnU1
+z7d5hZL5+v2IY1VeFhm0wlECgYA9xxE+jq4G/iymPuUh+IuU89bmKjuHb8QelIUf
+f0f1bFHI8H4R3syeYMpIRgf6WdCAQR+kBqBzM8v8vL0ySJn5t1e7F9yxlynCKPG1
++4AEYekr0as2VgujgpIbHsTe9OuqLH+qtqUK55N3WW9ddUjW16J0khQazK+gNnCL
+iZCBlQKBgGr4Bw567ddzEIf6noulYDBQjdYEKaxNPZ240pp2pUpSW/FIwV/deuRQ
+JhwGlid8IAmqC4d1jWuJ1DtiZ7UMgYZW3I+rUTbXif313mfe2Qs3TWQJu4faAEKV
++AGnM39UbKEYDymQ9E80X97u59Pl1jiEQdp6qf2ZC7OFBSo5uxtq
+-----END RSA PRIVATE KEY-----
Index: examples/acme_friend_rt1_typed/rr
===================================================================
--- examples/acme_friend_rt1_typed/rr	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_friend_rt1_typed/rr	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,27 @@
+eloc=/home/mei/Deter/abac/libabac
+keyloc=/home/mei/Deter/abac/examples/acme_friend_rt1_typed
+
+roadrunner=`creddy --keyid --cert $keyloc/Roadrunner_ID.pem`
+acme=`creddy --keyid --cert $keyloc/Acme_ID.pem`
+coyote=`creddy --keyid --cert $keyloc/Coyote_ID.pem`
+jackrabbit=`creddy --keyid --cert $keyloc/Jackrabbit_ID.pem`
+
+
+#XXX this is not exactly implemented right at the query side
+#[keyid:Acme].role:friendof([keyid:Roadrunner]) <-?- [keyid:Coyote] yap
+echo "===bad============ Acme.friendOf(Roadrunner) <- Coyote yap "
+$eloc/abac_prover_yap  --keystore $keyloc --role '$acme.friendOf(pRoadrunner)' --principal $coyote
+
+#[keyid:Acme].role:preferred_customer <-?- [keyid:Jackrabbit] yap
+echo "===good============ Acme.preferred_customer <- Jackrabbit yap "
+$eloc/abac_prover_yap  --keystore $keyloc --role $acme.preferred_customer --principal $jackrabbit
+
+#[keyid:Acme].role:preferred_customer <-?- [keyid:Coyote] yap
+echo "===good============ Acme.preferred_customer <- Coyote yap "
+$eloc/abac_prover_yap  --keystore $keyloc --role $acme.preferred_customer --principal $coyote
+
+#[keyid:Acme].role:preferred_customer <-?- [keyid:badCoyote] yap
+echo "===bad============ Acme.preferred_customer <- badCoyote yap "
+$eloc/abac_prover_yap  --keystore $keyloc --role $acme.preferred_customer --principal bad$coyote
+
+
Index: examples/acme_rockets/Acme_ID.pem
===================================================================
--- examples/acme_rockets/Acme_ID.pem	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,19 +1,0 @@
------BEGIN CERTIFICATE-----
-MIIDBDCCAeygAwIBAgIJAPcs9Y6AAW/SMA0GCSqGSIb3DQEBBQUAMA8xDTALBgNV
-BAMTBEFjbWUwHhcNMTAwNzIyMDIwMTMxWhcNMTMwNzA2MDIwMTMxWjAPMQ0wCwYD
-VQQDEwRBY21lMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAr6hkgFaT
-ABHcjmduXo/bs6ldY+AYQStqyUgUSVXB08zgN+h6iycB6LOz2SbF6UjAUN+hkG/4
-Gse7ew8plDyx7jTl/qndE/CLgXmDg6gHJE4EpZAN+CM3iSJGjvEvrsALkZDdfR6L
-dG4MWd+m0Fkiwqoav+PeTQVoevahIpkSWogxwSYLOS8fcJPZmzZuF8n+ABF2Lfvh
-GjrcjnBxxpjWHUYL+TvnS21F20NUCDh+9vUM/q4dNiZHiNBCtDtrtsc3UDSYh5d/
-2ceBHXH+dmUL3PEIZDZCR8j9PARxLkZh/iUIomWoRtrUqgZnjXUbV1jIGtvpiYA0
-b9iKOuJyRV9ZTQIDAQABo2MwYTAPBgNVHRMBAf8EBTADAQH/MA4GA1UdDwEB/wQE
-AwIBBjAdBgNVHQ4EFgQUuy8vNUTapE+fjztc0tjXH23Cl00wHwYDVR0jBBgwFoAU
-uy8vNUTapE+fjztc0tjXH23Cl00wDQYJKoZIhvcNAQEFBQADggEBAFW/sezE4xHy
-17FcjFCR7yeTTL73oOOvFg7bpYFEQxDtikYYMh6W4ddxTrZt+zsEkV7WqiXoIUTZ
-+XCo2lj0WNqh+JrWiO6hmluRHeV4XiEhwGi7rpTpv+L2CmwnfSmRI+BGPWnxxxKy
-GFcGVlBHHb81HnKP5wCJ0z1Lwsm9wVBmkLg3/hLr0zhMU6JZ/GLGfHxVAWp4wjji
-BXvOHQrFq8cNR5uZcEeTGspYFk1ePbVinCSczX9c7vET84zcsn+I9ZsBkovDYL++
-Ld6TVDgVS19uVywH+V4UxOTC/bdP12iEcxHzDK4DlZa+P8RkjpsSaAXeyahGeM/X
-EJIY8WKc1WU=
------END CERTIFICATE-----
Index: examples/acme_rockets/Acme_private.pem
===================================================================
--- examples/acme_rockets/Acme_private.pem	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,27 +1,0 @@
------BEGIN RSA PRIVATE KEY-----
-MIIEogIAAoIBAQCvqGSAVpMAEdyOZ25ej9uzqV1j4BhBK2rJSBRJVcHTzOA36HqL
-JwHos7PZJsXpSMBQ36GQb/gax7t7DymUPLHuNOX+qd0T8IuBeYODqAckTgSlkA34
-IzeJIkaO8S+uwAuRkN19Hot0bgxZ36bQWSLCqhq/495NBWh69qEimRJaiDHBJgs5
-Lx9wk9mbNm4Xyf4AEXYt++EaOtyOcHHGmNYdRgv5O+dLbUXbQ1QIOH729Qz+rh02
-JkeI0EK0O2u2xzdQNJiHl3/Zx4Edcf52ZQvc8QhkNkJHyP08BHEuRmH+JQiiZahG
-2tSqBmeNdRtXWMga2+mJgDRv2Io64nJFX1lNAgMBAAECggEABdDWTFYmys9MlUhr
-uTobxOXcH4o+s1Wr1PCL1Lu/+Ee7EA7PPoaIQ9CYqUgP2xVGDMdtXXoKOwoW39BU
-3kFo22FT+2uwqVAtsO05g0/lC04r+DaonRO+wHhqi/avT01bdLKDqs3/7FcXwJgC
-OWQMyGjXtuJlV057suqHKOfsLs7FH9mrU7T+CVw/PrPLsTUNI1re7BM/YWPFO9WI
-Rq+ZDZC7vVJjqqbeJjNHrtNAy8H7Owt5QKaFX1RIcJQF3kKnOFohaOErZyaRI6N/
-Yy75y3BRh420lKH87fQcsn4OS1jef9X4++4OCA65WTixWMxk1V+JYI8h11jloyGs
-6sqADwKBgQDpQivraSXohmr3Vulimm//VKWkYSO6g6BJbGQJ/395HIq/fONoCfr2
-WAUtS2+6ftMTizhcuJN+m3hoEw9U78jH6i/v6LoNmc1jBOz5ol8+r7JHQ0hf2DWg
-59FnbPW+n5Hd5XAXlPELZd58wGWW98j3Ut6yndqBHxcdKVd16DdhSwKBgQDAyJUc
-fAPlcjzKZrUY5l2XgYRdxZaO7TlDzD6c9is6nJczJwyyBapL7QV+pA4WP69qdFcj
-1fzjBMiSvH1EOcmK3i4jOMMuh7aZFjj1BFopJ0EKBFSSTmUk2F96yeXUxph0c8te
-aDWnHfVzr4BbtccdFWt/Y50UdLY4OqlwXP0oxwKBgEXvOf3Fs8DodC+eFjEi/os+
-FL+ZBD5KcocxATliKhTkstDAn+m0fFLZhwvSfzgaCCzm48og6M/fyxThCgq8LaWK
-mD7EtuuW/lY+xtH9lbLUuI3XJV7fEw0gE89/gppZe0FdJeNcG30AWNlsUckWl2FX
-rj89RqLJ8IMkvv0x11DLAoGBAIVMbCYE7iDBi50bxU6RQteWe3LnQ4JSLw1c9VJM
-uHlPexCoiJOzbRwQqIL3ZrIlmOIPzYz+0lwam6EyaZ86Icw+ckJyZisPNcfGYN2y
-A7F+7e7CLcP4JuGCJwrc/WjRZOrogg8mGSsTgPtbt3IyT5ohjHHJ6/wP80sP7Ma/
-1WBTAoGAetG74CYquLCqoJ4o/s74YEB5zYi1UirFSiT81I12VkSSV5kH+XkgRXMu
-1VGW170v8kMrWLxtkRQ71CzPIIok86Lr0wob7htiL2fqXDhL8SgOP+UneYb3LBQ8
-37DB+WTuSLG1YcBQkSFRnM0y/JmPGRt0AGenc801+K92cfBm0AE=
------END RSA PRIVATE KEY-----
Index: examples/acme_rockets/Coyote_ID.pem
===================================================================
--- examples/acme_rockets/Coyote_ID.pem	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,19 +1,0 @@
------BEGIN CERTIFICATE-----
-MIIDCDCCAfCgAwIBAgIJANG3XXugQWuxMA0GCSqGSIb3DQEBBQUAMBExDzANBgNV
-BAMTBkNveW90ZTAeFw0xMDA3MjIwMjAyMTRaFw0xMzA3MDYwMjAyMTRaMBExDzAN
-BgNVBAMTBkNveW90ZTCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBAN85
-+TU4HwmFWkqiP5TCs5uVLby0DxoO2lQgPFKkUKgpFPgVQiqDP1NPNpiwQMKB+6CU
-gSv1NcvNx8y6bpmnF7RyaDzk5JWNv4XjzacbdF6VYcKMR93C7fKg420Npv4+OYYV
-7fuOxlKBuKGGcnlms38nHgXn4lBnWYgg3M2nIJiOvAhkL6VI1zXt6D16CIjzUsO9
-D5cX01bXiDDOaydmFzyMaiqEUbf2ne659PNTHuSfUmfbUKZVajH2Jyj/KEGb5Eik
-hGaFmM5UWB/xkaycE1jv6j4lT9YpLXR9dnClmGVNnq68KFAsLLS4zUrAoFy/5OFB
-Wkt5moyNXSEb0Oh2GgMCAwEAAaNjMGEwDwYDVR0TAQH/BAUwAwEB/zAOBgNVHQ8B
-Af8EBAMCAQYwHQYDVR0OBBYEFJssHQlJ5meiJksgBgKrpfNWDoQEMB8GA1UdIwQY
-MBaAFJssHQlJ5meiJksgBgKrpfNWDoQEMA0GCSqGSIb3DQEBBQUAA4IBAQAaWjUg
-BlYpupkEyfFUO5g6+hcksMYY46i7Ny8tB0gPsieC/D5cHhAngFV1D32wLlL+/SlC
-m/MaE885CaCXSHML2zBvJkQUTGdrecazvIVVOUVspyi5PWTlT2CpS7wIeEcOFsJ2
-KEOmxQTcGTbOb2HMWEDGecBvP28xR9qxwBfDUbttBDxDqhnf+ICjGqV89V2a721F
-1v8QvnvHugz3Ma5h5SjejYMQhDXccw1MCqQ3NsZ+i6gmp/AMEMe6NYorWb3L4IAO
-KmMbV7wl0LnjStFAqFYxUuKt3wEyQW0cDigjojmetd3MuBUf+tC9ha2H1i6lkcuj
-eVnr2o8TMqj64EzP
------END CERTIFICATE-----
Index: examples/acme_rockets/Coyote_private.pem
===================================================================
--- examples/acme_rockets/Coyote_private.pem	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,27 +1,0 @@
------BEGIN RSA PRIVATE KEY-----
-MIIEoQIAAoIBAQDfOfk1OB8JhVpKoj+UwrOblS28tA8aDtpUIDxSpFCoKRT4FUIq
-gz9TTzaYsEDCgfuglIEr9TXLzcfMum6Zpxe0cmg85OSVjb+F482nG3RelWHCjEfd
-wu3yoONtDab+PjmGFe37jsZSgbihhnJ5ZrN/Jx4F5+JQZ1mIINzNpyCYjrwIZC+l
-SNc17eg9egiI81LDvQ+XF9NW14gwzmsnZhc8jGoqhFG39p3uufTzUx7kn1Jn21Cm
-VWox9ico/yhBm+RIpIRmhZjOVFgf8ZGsnBNY7+o+JU/WKS10fXZwpZhlTZ6uvChQ
-LCy0uM1KwKBcv+ThQVpLeZqMjV0hG9DodhoDAgMBAAECggEANrLjAQp2eIPHw0AM
-qmwnTLl6UqIgjTcUgsa/YVTIOtyOOdgjtX0huE1RyIpv4/mr6gZZvKbCfuU2z1Dj
-px0NrvbV2g4QgSERzEIs84TDuCWMpfpv5cRNQEXyVJei0uv2dofLH/g1WqRU1Ke4
-R01GMKMqNTJD/4XDp5q94FrSnu7trS3q5FV7Fc41+NVuTZr+xMZVzKa0hEekPJYj
-opqZltAqFRqr595Tsn5UYo7hCdWa3kxb7SJDeWybtJoajA+gVBH8BZYfu8gnsxZH
-GGGpvU63nCS3ndEMZr4nyINd+hA42d6uK9zxVTzKjxj0HEgX/CNyzo8uUTqrdb3y
-/lhFeQKBgQD1KgqQMSjpTHOGTcka/l5vU1IpQgHNjbS4jVbnurBO5hdm+BSGwXDy
-2bOLGyEuvKnl3i2O7/xuMwG4Ege+ZA13qsc1H1qkbjv3xnJH8ENCvfgV0AGK7MLJ
-QWsStle60t8j8SdwnBLFXpy3f2JvrJVjL82y8PK0c8l55N4djw5e7wKBgQDpF7aL
-B2ZRrvwp3s2OXycouSvwT9E/4C84l4VYyTaVo1hyjt4nWYNtcLfv0Pgwg+3jdfjF
-wOXMo7jPzT3KqGvnxHQEN7fq7HmwmATfXYxh/V2t919YaEP4iS1q3+xMJjxAAvsD
-AEvi6OkPf9ihoL9ksUDp6He9nY5ELuhbA6c2LQKBgC4BR54rO2wcBomrSxOfrATj
-88T+N+xkrQb8rtQpOjB0COwvnVp0LkfEBmcSHjXw/Ui/Wnk6G3pqY+Ywq/dUOxq7
-l0omqhG1BdfHC2bodRavI0CkmcWCDENL3VXTlb7fFzRdanM9NmCHEo10f/pIvnew
-Xr83a7PlDmerROrzD1VNAoGAXCrOOWcxpDbm6r941ET3vPiLUTieav2AboYrahIW
-DVFLlfC8Ex8oAsxBTwh4OubP19M8DSXbN/G9EB39wvaZxEk//rLxfGkJLTTPKGtb
-KRwAQNvBzblctxe2572nN+0egckr6+HgH9cs4L4SsMZZJ72XB2augkGckYVixypI
-ofkCgYB34F3pA/e6AT3h3tMhGtM/rwfVPSa5lz7/kQd2350xYrcW55ARlVSRHY0K
-ndQOqcplSj0ZK6WKt1tWDKfLMpRH8AineGUuECRIBHKFIskM0K3Iw6wTOoR8nKpj
-KpQI1xMH+xJDY/QnkhAK5nIVWShjCO/gUSENfVxsVmigtHqMDA==
------END RSA PRIVATE KEY-----
Index: examples/acme_rockets/README
===================================================================
--- examples/acme_rockets/README	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,16 +1,0 @@
-Acme.buy_rockets <- Acme.preferred_customer
-Acme.preferred_customer <- Coyote
-
-creddy --generate --cn Acme
-
-creddy --generate --cn Coyote
-
-creddy --attribute \
-       --issuer Acme_ID.pem --key Acme_private.pem --role buy_rockets \
-       --subject-cert Acme_ID.pem --subject-role preferred_customer \
-       --out Acme_buy_rockets__Acme_preferred_customer_attr.der
-
-creddy --attribute \
-       --issuer Acme_ID.pem --key Acme_private.pem --role preferred_customer \
-       --subject-cert Coyote_ID.pem \
-       --out Acme_preferred_customer__Coyote_attr.der
Index: examples/acme_rockets_intersection/Acme_ID.pem
===================================================================
--- examples/acme_rockets_intersection/Acme_ID.pem	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,19 +1,0 @@
------BEGIN CERTIFICATE-----
-MIIDBDCCAeygAwIBAgIJALWq1UVLzJZ4MA0GCSqGSIb3DQEBBQUAMA8xDTALBgNV
-BAMTBEFjbWUwHhcNMTAwOTE3MjAzNjI4WhcNMTMwOTAxMjAzNjI4WjAPMQ0wCwYD
-VQQDEwRBY21lMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA+LqEHGFo
-AhgLZqYm3vfKMxMZ1KQbWM8lFqv+jp1zF15r4MBxPJ8KwzW5bK/D1+VpWGcdrM4l
-8JTHoPBJdYBqrDkPYdBEUEU4+yc7gQOupdrXVDOaeOS3+SUkT0Zh9gCuWC6KE8yR
-ddR4uj8qb+qYDX8Wo8CoOVvBza8BxGMpSbBeHU+gBTOquMnOZ647yoaHruFn3QkS
-ysrIH3sCAZ3sQWK64iaZwlauQJ9jjT/fi+78tmXR8CYhffbwmbZ6Ds2fNQl77ZQl
-Pk1XG8jKN/KCs72E6wmOXUbk+m6Oqa6H8ZF4F7w819jCsg5uSpTsagyaRbabISGt
-RonxaKR3MiS1bQIDAQABo2MwYTAPBgNVHRMBAf8EBTADAQH/MA4GA1UdDwEB/wQE
-AwIBBjAdBgNVHQ4EFgQUIewSm++fyGoa8gm+erAP+cbYtXMwHwYDVR0jBBgwFoAU
-IewSm++fyGoa8gm+erAP+cbYtXMwDQYJKoZIhvcNAQEFBQADggEBAM7G2FbjocdJ
-Hq/fT8dwgnrDh1zUSUOAcTSs/OBQ+7hj2p+X7Fs9whTyMqPlkbIthqbebGY72QtD
-wRC7Y07rnwONQ+VkG/7/Uxpyxlzf3M27v+cn1e9QXBote193c3i03TeJcKkr6TMP
-3x6nJbB5wPKuWao3hjoKUzRcmCfpwcVnOUbNlPINecZGcidRsYCzLS6h/Ro59KWU
-D70fygIVYR9zKCNg4u9xIYc7sDE6TzBwD++vjhlmlVDuLU+hYqRY879VyMfIinVn
-dmf1DV94HR7TfJyNnvvhmOFeBgWRyQU4LrTR3YrRDyyyy8b4KmnX8vBtYGLTnEEP
-cfXpsyZZxXs=
------END CERTIFICATE-----
Index: examples/acme_rockets_intersection/Acme_private.pem
===================================================================
--- examples/acme_rockets_intersection/Acme_private.pem	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,27 +1,0 @@
------BEGIN RSA PRIVATE KEY-----
-MIIEogIAAoIBAQD4uoQcYWgCGAtmpibe98ozExnUpBtYzyUWq/6OnXMXXmvgwHE8
-nwrDNblsr8PX5WlYZx2sziXwlMeg8El1gGqsOQ9h0ERQRTj7JzuBA66l2tdUM5p4
-5Lf5JSRPRmH2AK5YLooTzJF11Hi6Pypv6pgNfxajwKg5W8HNrwHEYylJsF4dT6AF
-M6q4yc5nrjvKhoeu4WfdCRLKysgfewIBnexBYrriJpnCVq5An2ONP9+L7vy2ZdHw
-JiF99vCZtnoOzZ81CXvtlCU+TVcbyMo38oKzvYTrCY5dRuT6bo6profxkXgXvDzX
-2MKyDm5KlOxqDJpFtpshIa1GifFopHcyJLVtAgMBAAECggEAMb8AGDsFFdIgSZ32
-jUaq2q85zdUqoQcBCHlK1tQ3xhc85T0oCLNYcDWJCetXdJEuEh/BiCPM48Kl8JLO
-ZmFSNHLPGEWSvCk0Hcs5c/K8FfDgezc88GvyPbLHgdF2W0DEnd9k/1O9Tf86TCnA
-/5RAaAagjQzFuH8ZEl2rsU8R3WozX2zjpvGgnzq9dbGeTS2VPVTESlCgLMoQx1sX
-+gBkKeghcV4VSTj8qFqJrIVbPkHrgnQ/5bphd2lc9lTPq9biZ7aL+z1bPp5z57NT
-4Ngpld/gSyN8XOO5keHqNX3R0qekmFsiOJVYRp6I/tE0HpX6q4iCeNyiqFkGD1wy
-AFYD4wKBgQD+toaj+OOFEUDsp3fsKxo5ogEwmCQvOGCRdqT75u0bCKLUNrggMXwK
-8FtGE406xuJdM/8qrMjjRv28pGCPDrS6uxIm8waWAQpN3zaj8sxQlgAINzHWUPS2
-3e2cwF4t6Xk6717UjLiphrDb/51M7B2xsHNx3L7xaxkhU+993OvozwKBgQD5/D/M
-du0f58ix7lKmeu6Yst42LH3zub7H0uDqYOCRHaKWl+j1lJlAS6SqRZRMIH/Ff87f
-ZSWnkWUGdSFNS8Srv0+qfR6a99D0yOyp2ISg6ef7nQZ0xFapyb4BmLCuZTpdNS6w
-Lp5vognSNdTAg0riQ7y9hyjOGWsLE3E0bDgVAwKBgQDMZM/aWOjKaTP+M8zJ2TSs
-NtJZmly+/7COSfTOp1pxLRbs0BQk0VDGvmWf8CSOm/Yd8JG8PvbdWqRWclmBsr1Y
-crF4S+BnEuKf5pTELxvBNv1DmncFkeUtsRzxgnSQxx+fKWKhkWLFtu3JPG+PwJF7
-eyrInekjdVuvINm32EX+hQKBgHS7iOMmaaYravlDa47X+tCNPdyYPBxykRbobySj
-Jlo9N24Q87Sxtjpi2Dq2kQBXcLK98tE4fzPXXhB845cfmXAFvuLC2GbO7+FObc0G
-ETC+6RgChEBEap+QWEyQi3h0RqO9sNaOfmdsiB+ECZv38yDjNqBeG/zZu7WJV6R+
-IFYXAoGAOHM2/N7bswfzXN4BkHCxhp41wCLXC6ifI3VjOHFsDRd/jnjyfNYqbiQ8
-CCRDdWBKezRE6qqEyQuzizRZPCRQgWLQOKYiImsKCfzyVSL9zkZ4q+pZU4aKgBbJ
-bNwiGS6+Ji++GNDMqSu8JDRQMKdA7jJfEY0IDFRrti2ZvmAKVeg=
------END RSA PRIVATE KEY-----
Index: examples/acme_rockets_intersection/Batman_ID.pem
===================================================================
--- examples/acme_rockets_intersection/Batman_ID.pem	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,19 +1,0 @@
------BEGIN CERTIFICATE-----
-MIIDBzCCAe+gAwIBAgIIOxJa5YgASj4wDQYJKoZIhvcNAQEFBQAwETEPMA0GA1UE
-AxMGQmF0bWFuMB4XDTEwMDkxNzIwMzcxOVoXDTEzMDkwMTIwMzcxOVowETEPMA0G
-A1UEAxMGQmF0bWFuMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2Ngr
-ZRYcJBhJaB1wt7z79A707NgUAJyx0yb2P4VyHTqerUveyixwjG6aG4fKn0W4QjtS
-WMy4+SOB3LXm2tTDre0SVYcqXTPydBnIkjrNMe8a52XTsuG6GU6n3/tGhQrx2cRs
-XORcNzTOhhBAhKFA0sdHCig4e2bdef3WlagqDDURGunDFSXR2j4aeTIHFKYVUJOh
-pvUxhOnZyegiQA1g9H/DfRrfLvoMvD6WeVmTdWj/yMXzl9+EpqEwdQeBKiO1o1qr
-3gC5UYFMzwDmkn/6b+1+AzOclUd2U8gstWnqT02Lwfs/ee+aNloeE1S0QO4LTcnE
-xDq1i8pLhQmeAs8FEwIDAQABo2MwYTAPBgNVHRMBAf8EBTADAQH/MA4GA1UdDwEB
-/wQEAwIBBjAdBgNVHQ4EFgQUmaSKn/zMyWdMUX/anfufCJey3mwwHwYDVR0jBBgw
-FoAUmaSKn/zMyWdMUX/anfufCJey3mwwDQYJKoZIhvcNAQEFBQADggEBAGw6n7jY
-sU0W+6o/WMyVp6+3EIC8tusVXm2rn9udlM+I6WAJx5hh2GZMTcR+Zp7QHBs9ncm7
-sMsMsd9sUWb11GUk7PXCDulmKLD7MF8UWRn5xfCr1hMFUbrWGWBKeTXQqBIQDfeL
-3FGyq8raDdKYeO/3JMQE6XEC8pcDdrsGQJBb87BGlx+i6K5q+qjM4tAMosXjdhYk
-E2BbyPahoGBdK1fQOKYsDAJAJ1i9L0NuQ6lb3qhCfWT0Xb08szDnPpvpNLX0NoZY
-MXriRRgHnw65GkZTUtySXeXeTcezY2NXaH9e/sHPtLAnzbEyDLViFiT/cT5FVg50
-IxN8W+CReATNfk0=
------END CERTIFICATE-----
Index: examples/acme_rockets_intersection/Batman_private.pem
===================================================================
--- examples/acme_rockets_intersection/Batman_private.pem	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,27 +1,0 @@
------BEGIN RSA PRIVATE KEY-----
-MIIEpAIAAoIBAQDY2CtlFhwkGEloHXC3vPv0DvTs2BQAnLHTJvY/hXIdOp6tS97K
-LHCMbpobh8qfRbhCO1JYzLj5I4Hcteba1MOt7RJVhypdM/J0GciSOs0x7xrnZdOy
-4boZTqff+0aFCvHZxGxc5Fw3NM6GEECEoUDSx0cKKDh7Zt15/daVqCoMNREa6cMV
-JdHaPhp5MgcUphVQk6Gm9TGE6dnJ6CJADWD0f8N9Gt8u+gy8PpZ5WZN1aP/IxfOX
-34SmoTB1B4EqI7WjWqveALlRgUzPAOaSf/pv7X4DM5yVR3ZTyCy1aepPTYvB+z95
-75o2Wh4TVLRA7gtNycTEOrWLykuFCZ4CzwUTAgMBAAECggEAQDj10UCVIROYWh+u
-DJ0KOiRb4fG1KuE9wX3enL2XKJT9/fFkkJhM1SrEtbaoCjgJ9IPBRc+MUS10/rtZ
-HiK5ub9nGLGpmGUUP9KLFtQXhdx9KV99LZOxHGGxUqMHJcwyCP8l4PU5YphfOlGB
-6kYf/s1KevWilNnIaqMFdNmTan2ZHfLs2GLMY2u2FJ0OTGCEDevLfUh7QITnpXp1
-FkAXuhqrHfINOwr62FIEM/y6vEfTPRO1AhV/CnBiooRj+bZFwLxuSsEtbaxbJuDX
-ECuLCZtjIbuT3f1ewZJCSv/YH+pKJdjeBvFa2Wl1J09uoT9/ggv7YCdaPDW3YSgW
-y5dVwQKBgQD9dT8M+LFMk5QOzUx0Y/+4JivY8mRfEtbkS6z0RxGi+AzCLBqTwqRP
-BNi0+9KEXmlOk6d+qpoFj/k48F9yvWQcyT3kb5/z1ssntYxDtpsMJbuxYQzpDJt4
-1Hvi6nE8I3Nx3B0D7bfsoKTsxeGI5OYvqxppX17t4qtiORueZfAN8QKBgQDbBOr1
-RQDKF//+ANiHuWWMD2wrqXX9CHrwgKgWaFYdLqsEKDtCuvcmhqqJSCA6NG3u0KHR
-n1f/wxJBtUIE5qN8Kme0r+HI2DLS1gh8i2gRLEauXOYvhFRaJruvW8kh0PlHgQLS
-HeLE/5yuCOKk7WznFvC0DJZtNzhzZq8j1Y5PQwKBgQC1hjhO+Po6ZuO+KijcnxXx
-dF0o9okOUnbXcJ+BIDkwZ8jzdBTgyKFW+pieHlDqfpebMELghBzlaPTMY9NoYN4H
-g9Ww+oUrZSWA3hSEFo87BvdDFcfiTSY4Rq4nmVLaCGXRIR0iyClW7sLP1PUvTwjR
-ERFMcIKTiyjFozL1ofpocQKBgQDB8QPh9p1xV3k+wh77aIdsVAfUTfYF/2ll6Hdv
-iCqhIr8bKkj3mTnbqqn+cJjhEaY7MBHq3q/88g8LkmcIkfc4rxAwJwLHZ/LxUcgo
-CQY5FrzsD6VhdEuBnQTbjmp3gGYNFEecKgyxpytlzMZthzTFGUJCHVdjFN/vCIGU
-OLoQowKBgQDbcDLIef/l0EH9DG+sV/SZbhRJ3EO/gQXQRbhOBixJoRYNkRUJT8XV
-yHeFAE5crsPlknfzXh5FofGGA8gBLxzCZNN4aiA1FC8t29+NG6DTMYBQcttm2Rdm
-YlfBGDOPPWAV0TyVaQpy7VauuVXWPHPMteSzjoK6RJkLOqFYrc+Vrg==
------END RSA PRIVATE KEY-----
Index: examples/acme_rockets_intersection/Coyote_ID.pem
===================================================================
--- examples/acme_rockets_intersection/Coyote_ID.pem	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,19 +1,0 @@
------BEGIN CERTIFICATE-----
-MIIDCDCCAfCgAwIBAgIJAJt9V0HP3H/5MA0GCSqGSIb3DQEBBQUAMBExDzANBgNV
-BAMTBkNveW90ZTAeFw0xMDA5MTcyMDM3MDJaFw0xMzA5MDEyMDM3MDJaMBExDzAN
-BgNVBAMTBkNveW90ZTCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBALjN
-0hzJp5ltUe4TD+b7eLz6bbqgc+Ei4sGIfqLkJmwhKhaC1mOW0F7bai4vPNe6NN0+
-IeeCvrs5uEhZzkdTePshff4ynaSTUq4lhf8DurnpP/21FeeaTKqMmhwIktEOxXQk
-af6TfWeIy/rjfbIvwtadozGGeYcPyGgQxlh6SruYcaCJP9bhsVZQKP5kJfBQjRUC
-fOhYQXXTQ2HSKzmsRwS0eNJzBTqCu8XaWel1VmjRoQqYxhhy1RFv8IQNSOrMuY/B
-TbBeUfjxT60qOg9vhdmGtWf2T89jWwos8WuDOhGpg5SyhechNyIt4QO/n2MA41o3
-3VKtMTgHvk7wLbPF+0ECAwEAAaNjMGEwDwYDVR0TAQH/BAUwAwEB/zAOBgNVHQ8B
-Af8EBAMCAQYwHQYDVR0OBBYEFKizfTlgbN6zsCzBL0gVhNrKR892MB8GA1UdIwQY
-MBaAFKizfTlgbN6zsCzBL0gVhNrKR892MA0GCSqGSIb3DQEBBQUAA4IBAQCWnTnP
-HItCbZlpouCoA5frg1P86NzUw3U6imY/ePLF0Q8lHt5iGrq6tppz467kc0bWUH1R
-uCT4XCBSgn70YY9d2QdaDZezfeE20EdgyxLsBh3jPRVSFx1ERwjVgWQYpHaCQSyf
-KBdhPH3mUw3s1bAkJxbg3ch2CZCTSuhwegjnsJ54w3P3GFkJYxjiMC/jwJawsmut
-CmNbuZ+2yxFpEw1yCNkT0q9HW4aYCyzzKFCjB9TVzbbET1RznPAlHcnrysJhkF1Z
-hRjAjFHa/7i1rSiCrk8HfONgJPMLtHz3+cSamKznDXlOXsXQ0i3pvq3H9QL0t4mG
-3W5gXm1meQO57+h1
------END CERTIFICATE-----
Index: examples/acme_rockets_intersection/Coyote_private.pem
===================================================================
--- examples/acme_rockets_intersection/Coyote_private.pem	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,27 +1,0 @@
------BEGIN RSA PRIVATE KEY-----
-MIIEoQIAAoIBAQC4zdIcyaeZbVHuEw/m+3i8+m26oHPhIuLBiH6i5CZsISoWgtZj
-ltBe22ouLzzXujTdPiHngr67ObhIWc5HU3j7IX3+Mp2kk1KuJYX/A7q56T/9tRXn
-mkyqjJocCJLRDsV0JGn+k31niMv6432yL8LWnaMxhnmHD8hoEMZYekq7mHGgiT/W
-4bFWUCj+ZCXwUI0VAnzoWEF100Nh0is5rEcEtHjScwU6grvF2lnpdVZo0aEKmMYY
-ctURb/CEDUjqzLmPwU2wXlH48U+tKjoPb4XZhrVn9k/PY1sKLPFrgzoRqYOUsoXn
-ITciLeEDv59jAONaN91SrTE4B75O8C2zxftBAgMBAAECggEADc09UG4VCMXb1RJy
-YRdN1JtFX6dFED7ZPYfyoTq1zeSKLqU12rk0NalgXDOl8RyUfyN5R7+BfB0a8LhY
-SgZnZiYBsV7ZXCWuipf90mZWZzUO1OVVzfa9nA0lI0vWnythvsNLcTpVpspWJZYg
-2JJtlDawre2znM0mc/MwxQHZG/ptnk87XivxC2qDcqHMa83TAjFz7ZXvkoeP8OtR
-4+LO3ARizw8cS3o/ezecFXnZbufssM6qn2Qgr0AInHeQ62nxF8djm2S913lLGGNf
-muLSORzD+dq5r4WxFIS/5HlrKXs/V6uTGCK7mQVIHAPuzjyIcTTY8pVNFynMxpmy
-tNdtAwKBgQDe/O7GC/lIl1BItC77ikVPNAN+Zx6o5m+VCbx8Cv4d+PdQZgqQbHtb
-z4FEpG4RfOKJ5W4f1YIOf90wHgKvxd8IICiZ60aKo/j47IxM284HOEiJnjju+Mpl
-rQHbC6VMXkmHwSrcXMb5WcShaDTQT1RLEMF7drX2FKeC3grQYTLrewKBgQDUKb5s
-2j4mTUMlS//QK2YTpI+vjOwFe/OYj4NL5jq9VfHjmETRqk2e6ViEpUvy2Ao0bE6V
-8JNOHq1NijM3yDpD5o/eb1KpAr3iz91zHIrrgNdjzIcIYULBurIxOH3/H33A783r
-F44dQ04Eg99kqAQC0R9yE7VYdMrN0V8PGbapcwKBgH46ekQcRRplpanybeIwzLlg
-PVYRs9Zy09lvcIZbhqya4g1eJj7JWi+H0Kp11mUJ6Aedm/BjYcMpeKGja2vrPC0S
-X0l6WS1kUy0+YtGjYAbQQqe8rIgCyDg0bqd7+S+49DDoFYY28t/2hAvGvJbrQVFZ
-A94LPkg2OvknDsIVM8j/AoGAIVxC/hi/BwTFFxtBKTl5voL0uPTes+oOnqGKUqfr
-+pOGCnSJ9bHirKcibREUxSWlTSLupHMEppb6RyQA87d/OegKHT7B76Nnuj9XId+O
-FIPY2m9xmCa6+X1iwYyRe0k3W9wZM+srRHytytX1jX1BzDOXzzc8H6GVthFC8jvn
-1fMCgYBlGdZ2Gc+EWVvjcF1WaVU1ZqU0h/VMOxCU36KBEGrQGVoVPjKXf+g5eLlA
-sep957e9rA3LvZ5Kl2V0Xq0f0vgZ8yprPg8rhqHsdHQL4S1WtIeHdp65FWrSy6XR
-fvjK/6X/SomgKb8y407FJcSJOGb8tSXjegrjqFRzhikQEFJUjw==
------END RSA PRIVATE KEY-----
Index: examples/acme_rockets_intersection/README
===================================================================
--- examples/acme_rockets_intersection/README	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,46 +1,0 @@
-This example demonstrates intersections.
-
-In order to buy rockets from Acme, you must be BOTH a preferred customer
-AND a WarnerBros character. In this example, the following query will be
-successful:
-
-    Acme.buy_rockets <-?- Coyote
-
-The following query will fail (because Batman does not have the
-attribute WarnerBros.character):
-
-    Acme.buy_rockets <-?- Batman
-
-Acme.buy_rockets <- Acme.preferred_customer & WarnerBros.character
-Acme.preferred_customer <- Coyote
-Acme.preferred_customer <- Batman
-WarnerBros.character <- Coyote
-
-creddy --generate --cn Acme
-
-creddy --generate --cn WarnerBros
-
-creddy --generate --cn Coyote
-
-creddy --generate --cn Batman
-
-creddy --attribute \
-       --issuer Acme_ID.pem --key Acme_private.pem --role buy_rockets \
-       --subject-cert Acme_ID.pem --subject-role preferred_customer \
-       --subject-cert WarnerBros_ID.pem --subject-role character \
-       --out Acme_buy_rockets__Acme_preferred_customer_and_WarnerBros_character_attr.der
-
-creddy --attribute \
-       --issuer Acme_ID.pem --key Acme_private.pem --role preferred_customer \
-       --subject-cert Coyote_ID.pem \
-       --out Acme_preferred_customer__Coyote_attr.der
-
-creddy --attribute \
-       --issuer Acme_ID.pem --key Acme_private.pem --role preferred_customer \
-       --subject-cert Batman_ID.pem \
-       --out Acme_preferred_customer__Batman_attr.der
-
-creddy --attribute \
-       --issuer WarnerBros_ID.pem --key WarnerBros_private.pem --role character \
-       --subject-cert Coyote_ID.pem \
-       --out WarnerBros_character__Coyote_attr.der
Index: examples/acme_rockets_intersection/WarnerBros_ID.pem
===================================================================
--- examples/acme_rockets_intersection/WarnerBros_ID.pem	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,19 +1,0 @@
------BEGIN CERTIFICATE-----
-MIIDDzCCAfegAwIBAgIIam44l3UdZ5UwDQYJKoZIhvcNAQEFBQAwFTETMBEGA1UE
-AxMKV2FybmVyQnJvczAeFw0xMDA5MTcyMDM2NDVaFw0xMzA5MDEyMDM2NDVaMBUx
-EzARBgNVBAMTCldhcm5lckJyb3MwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEK
-AoIBAQCpgqFydgXSIOEg/H1szr5ZVh0rKpXtrPLGzm2NvfJlTxJrX1MY1oLZ96Q+
-E702GYvXjP3SNZe91dWwYbGZ8Cm9OilCV5GyXPTNkVh1cFogp+0efJ0ws5ZYW29T
-RwCqD+W44xTmX4+/VqBQqsm1WPfgMioUSEzV/AA/Cb7P0IgJRLKddWI9rufF1eXs
-4f4M5/z5MoituLng89Oqe/6Ea5O8UVwCQ62VCL5HijIxOG1qtvMriSmfUGXUDzQc
-BTCw5t+oOjxkmuQjiy0lQv68rspW8nb4+hgn+/SDIAgXMkvldC+a7pAaRWSva9rF
-83SirjhKGpawIrEax3glTupSMW0hAgMBAAGjYzBhMA8GA1UdEwEB/wQFMAMBAf8w
-DgYDVR0PAQH/BAQDAgEGMB0GA1UdDgQWBBT9slPQ4bzw1gqHhNWzDcjgBkYH0DAf
-BgNVHSMEGDAWgBT9slPQ4bzw1gqHhNWzDcjgBkYH0DANBgkqhkiG9w0BAQUFAAOC
-AQEATTtGBPyGnXx/4LdJYi3h4THMDvBLS1ZDYpiKHcU3GJvgN0WJVAZQb7sHSlGq
-/ObZPS7bUilwEIwdKlz9oByR0aQmW1UiERTq2gEsfnj+uJCShHZx9qNzp8yWp5Tj
-I2ceXyntZ2E3k2ckWkt+sTKqOhLwnz/9D8NhzCi8+rMOld+MxUvCLe1yZHTD5KDN
-yEviVhSXYUW015Daa24lRLXZMCo+v669p8iuIUwtS1yOWkeWUXgLEgk91Nu00jNH
-5E9rSVa062Vp0FzPwZpDuAqOYPdQuMe0GX9LyhRzThgOQI2f/iBHsRJ+ePLzwLW6
-clx0ijr3jWLXMIsifhDKtSVkSQ==
------END CERTIFICATE-----
Index: examples/acme_rockets_intersection/WarnerBros_private.pem
===================================================================
--- examples/acme_rockets_intersection/WarnerBros_private.pem	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,27 +1,0 @@
------BEGIN RSA PRIVATE KEY-----
-MIIEoAIAAoIBAQCpgqFydgXSIOEg/H1szr5ZVh0rKpXtrPLGzm2NvfJlTxJrX1MY
-1oLZ96Q+E702GYvXjP3SNZe91dWwYbGZ8Cm9OilCV5GyXPTNkVh1cFogp+0efJ0w
-s5ZYW29TRwCqD+W44xTmX4+/VqBQqsm1WPfgMioUSEzV/AA/Cb7P0IgJRLKddWI9
-rufF1eXs4f4M5/z5MoituLng89Oqe/6Ea5O8UVwCQ62VCL5HijIxOG1qtvMriSmf
-UGXUDzQcBTCw5t+oOjxkmuQjiy0lQv68rspW8nb4+hgn+/SDIAgXMkvldC+a7pAa
-RWSva9rF83SirjhKGpawIrEax3glTupSMW0hAgMBAAECggEAICRoDrc4dVbMuZ+G
-/Pna+D+u+j9x/IZ95prABU+ORg2PVZLWw+/xEfm2SBsgFsETVkUi4BhPdKy2f2KW
-9bSnhX0g07adJvAfb1dvKZ2rSWPuP4irmc+D46861dSx2I15JuzQSrq2HDcF4SXx
-Z5S+M+HvPrdS8oR9W3aymt9U3ES+TeOIiSdW25DQbW00BZ1HJ+0h/gfxsufT/LQ1
-Lio94yRHiwqgpyJrUgl6zxVlk2HOZQSDfOK5Of9+QZF6FxH/lxuldRBXYIh7MLr9
-aznQvAovYGpYzYP/FFCsPEbnEVYTR7K2ZPM2Hh2ZbEp7Y7sj0zXS+eOpI/2wvpr0
-wlcKXQKBgQDgVYCVUrIA4Z/ewnS7Q/UJ251rsKOBm+TqOLKpk01OQ0noO1tj1dpY
-qpp8xvKJG8Y7UUiAVZQVe/4XCpl9WOca90/fwCILragjdg45FnARCJtDp56eA7ci
-tEzzO6HHh1Vk5Ebn82oL01NbYzP6OTXjj8FWWFTkw0PhEryZhUT2OwKBgQDBcAb2
-ECyM2XbmA88P2BrLnt0yBKT+seuF1L8N/JrCCPB9Sadsi63SMBaler+/6YRiwZ3T
-eB+FyXTqsvQFExGS8GvdRtkKNntnRGkSuzYX2AOdzxt3rCcPepMLXKnuRNc7+oh3
-UL7QdVjiED7lzAgWy9MuQwaScQqRm3zCnG9IUwJ/MDIubeZWV9ohfrpIWfM/sd58
-86X/etkDVU7ZE5WSBj5uonYeLFTFlEcS6bvUX6CX9iaAbRH1vqfk7w5X65YuEJ0R
-jAC7T8b/WJ8Ebz9i1EYFFYPtkAU8UzhpT9h/6V4p+oMQuMSTA/di8T9e62NfMISy
-BNr1YjCRZMmhu1nmdwKBgH3yYiXujAM9SIQlMLmhPHkdu+noSkGnOLGPvsHtmhoC
-VgtNXJx5Kbj0JJqkHJtpARCH/ioFSYkDjYOO9wEi1Et3DNQrX/+dT6YCTeOrT2Ig
-/OHQSpMV3OzgI0O/lskTu4xK6HW/di4mabPvXfSjbxTgq2SwsWPCBF6f/ZB86JwP
-AoGBAJbjAgvBODyspNBJIEm3FswqL7KHMKAAXDrPL/waVskpFVR/LpOnCyK8WsEN
-PGo133wirEZ5EqdhGgho1OdxgQQ//KLDXc/7Rvy9AuLotqvbdjXOEog5i0ntNLKv
-Aw6BZLwd8lIn0Ax4N7r+AmUP9ADU6T1CWeGkA19NNMoH00gA
------END RSA PRIVATE KEY-----
Index: examples/acme_rockets_intersection_rt0_typed/Acme_ID.pem
===================================================================
--- examples/acme_rockets_intersection_rt0_typed/Acme_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_rockets_intersection_rt0_typed/Acme_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDBDCCAeygAwIBAgIJAPVYcOP7oEUlMA0GCSqGSIb3DQEBBQUAMA8xDTALBgNV
+BAMTBEFjbWUwHhcNMTIwMTE3MjIwOTE4WhcNMTUwMTAxMjIwOTE4WjAPMQ0wCwYD
+VQQDEwRBY21lMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2m1CvhvQ
+8YSor+QdsL3vx8hv/49XSQ+z2VWkgz9IClgwsNvDHz5XAW4x+yHyHVscGgy3bqZx
+I0piBtLPZDrJRLdWcNWeLgNZqaPqsYVGjJhaCjKR3w9srOV6CKosnFfWLwQlCN9T
+EfZl8lRE7oSlK3CfU7ONG9l9TOchJ6JYaFQ0tN0+4It6XXfHxw/9e952qvaFDCXU
+2c8/i4VPehTY4J/ohW+7IgKUon2FDACqWry7uqiPXR32lCGpL4LaY3/Z39ALaIQd
+YouoqWRszKaFVer+byixuD11pPVb6MoPa/521R5daXIoiJEzjbHhyFhg1/9feItC
+szAyJJ9dELp/QQIDAQABo2MwYTAPBgNVHRMBAf8EBTADAQH/MA4GA1UdDwEB/wQE
+AwIBBjAdBgNVHQ4EFgQUBrjoJVT9cibRS53Xf6u7o1UL8uIwHwYDVR0jBBgwFoAU
+BrjoJVT9cibRS53Xf6u7o1UL8uIwDQYJKoZIhvcNAQEFBQADggEBALoThi1jGxvL
+zHX5cgWtYGSTb9OhiGufhxrsfIJcqKfRjjApvFgEY6V5bAq2NQXruFXDEjIImlXt
+yPwuXneRYSlI5gUdKtmrF53Z3aDmuR1c1s4vEL19DLylcg//39QiN+pBOKaQ8FOP
+8qPIEPEwkkAtFTHLPD22ZVhC63vrCiK25IRWRDf+GqwtxLh5m2V5xmOksqSTh7tK
+IDdSKnKeCHiHYvedX+gw2DPJoFpHSYARuUhQkBSCKUXzKVN3xJz6FG9/KOWK59LS
+l51OvcSkwCBOMK24IF49leZknuJAahF4Kvn1QNHm4B1p1RrD4+f05PGiT4foYior
+xptaZ+kSrtk=
+-----END CERTIFICATE-----
Index: examples/acme_rockets_intersection_rt0_typed/Acme_private.pem
===================================================================
--- examples/acme_rockets_intersection_rt0_typed/Acme_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_rockets_intersection_rt0_typed/Acme_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEpAIBAAKCAQEA2m1CvhvQ8YSor+QdsL3vx8hv/49XSQ+z2VWkgz9IClgwsNvD
+Hz5XAW4x+yHyHVscGgy3bqZxI0piBtLPZDrJRLdWcNWeLgNZqaPqsYVGjJhaCjKR
+3w9srOV6CKosnFfWLwQlCN9TEfZl8lRE7oSlK3CfU7ONG9l9TOchJ6JYaFQ0tN0+
+4It6XXfHxw/9e952qvaFDCXU2c8/i4VPehTY4J/ohW+7IgKUon2FDACqWry7uqiP
+XR32lCGpL4LaY3/Z39ALaIQdYouoqWRszKaFVer+byixuD11pPVb6MoPa/521R5d
+aXIoiJEzjbHhyFhg1/9feItCszAyJJ9dELp/QQIDAQABAoIBAGoMgEoi4ThRy0DS
+xWOJZECgXVg79QoA+LX9cclTURvMo59Ko5qovr9wDA489fswwB0ZrXmoj+etdpiP
+g6fLLusRBIP2Az2d3MuTTSBxb8ZVNeobkV02dPIg3DYWwWAK+W+MWJrNKtzev7J/
+HZScjEDiBkkyNMGfv8k1spA2ryu/SKSBwSQ6tj4lg63KILcLCdOfcshFqcj8+xDR
+Fr/CEExONd6gl6utRJVfpuCD3bVO87fCgBTf92XMsGCss7nHvQ6l7Y+IlGGwjGun
+iKSnm0wva1yZbsBrWjOWHDRHtSp0V/dXdRx1WtmS3BwIXCO/gZniZC+EVpAfqWmE
+cYfUnW0CgYEA9kcIeyySOrRvAjzhXTviWH838k1+GinZDp0hVQr9dwaV2pL3+mx1
+8/+5taPMQ+vwXLcRfWb3OHxVj3SV83wGsg4VP+EUCNt66P9ZRpdVy5zmjaVe+pt/
+RYYkilJveFOxvNZOp383b4yrh8PlqUOJlfShH1MHRESryz+tXG1H4JcCgYEA4wzC
+RUrJsBju4fIuDwkDCbzucuMEbdsF62+NR4LaRKKwrO+LJelUqSzKrdTxGQBeUQJV
+UMUQuEUXwEDPXyogZhiu4MHnRFshJQD5wrEeGoD5gJj2H6gjd8YvEtEw/clWRe7z
+RKKIOPTV5XemOn9CXQop5dxQOGuFv8/TuAR7wecCgYEA20zJepVn6Sp+pyl7LMCE
+f3VZZkQnBDk7dU3qPoY4yeJtUmMIulAWgJ24ysv+uoTAVm8V/erQPdZJgiK43EYW
+2Dq+JVHRu0llm1C2OKvN1C/1BTC68MHChTA8HYfmhulQHe1fwLsBrC1BGPYR7bWc
+MJHTX8dZcysLJ0Oepe0R0iUCgYEAkU8+Ggi2McyTPem3zomO9zGCTea6k/Ajxrz6
+5zR4qoqQle0s2dOOCkOPZ1csAjs5IZFjtrCYdcZKYBFaZmZYm97aNSAD+bx05vDL
+5+1g/cdjZwj+I96A7Iva3qkhOJsdat51tIxssD8JkbVUnoWJnG//xouMj79Ityy0
+LEY6SisCgYAueQhV8zpbrJVQWolB95yKXEGLgRPZ46qKZO+4pkHsN+RJdXcb64Ck
+qqlccOWJKV+K/sIzmhNG6rL7/72X5I6GMvxPFmvNOqiIc3YldXjOK6aedemS+EyY
+MVLo7A8VhKpOwrpioLK9HO73+/pLFYOTeN3gaATh74jvMKsO5IRjPw==
+-----END RSA PRIVATE KEY-----
Index: examples/acme_rockets_intersection_rt0_typed/Batman_ID.pem
===================================================================
--- examples/acme_rockets_intersection_rt0_typed/Batman_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_rockets_intersection_rt0_typed/Batman_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDBzCCAe+gAwIBAgIIZ853E2VjXLAwDQYJKoZIhvcNAQEFBQAwETEPMA0GA1UE
+AxMGQmF0bWFuMB4XDTEyMDExNzIyMDkyNFoXDTE1MDEwMTIyMDkyNFowETEPMA0G
+A1UEAxMGQmF0bWFuMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAspTu
+ngWgTfaXxxb58kNiC69nDUhbgcPcJLu6j8VJbWbYODm7gMHPd13HdsTE1nKTocjn
+LZnrvtjc5QFn8OIEEhzpB39Kc8mV8jmpRnTB8gkkjKG1Tm6TNSPuUXjKNnuyiJtn
+BAzR3pbpBlRHfsC36X7vPA1dT39IN//3maHCJPVwapzOAUkzZyvuYenmIK0zVnrt
+RvoC7eaPHgK28FiPgGyXMQgUI+QstfZxukOQl8KRXRuG1507dv8aO9bBJvz/B5Sn
+tARncPSbpLr/H/Y6WDPmXIShVTitbhzaW8Le/J0kV++J4cfcvKm9MnowEjQif1+W
+JRx7lqr5KGlycu6Y1QIDAQABo2MwYTAPBgNVHRMBAf8EBTADAQH/MA4GA1UdDwEB
+/wQEAwIBBjAdBgNVHQ4EFgQUwZDXADrkVjuosCC4TZJNtKEAssQwHwYDVR0jBBgw
+FoAUwZDXADrkVjuosCC4TZJNtKEAssQwDQYJKoZIhvcNAQEFBQADggEBAG+lwAnb
+CWMbi3mddlM4rK68ClamcOnfawcfbdqkGp3elvA/lrtSMNKdyAXAObEhO2mBIkaI
+xAA8eywAn2A9H1hMgt4uJdymg4iYwMCcx2GsqG+lEXQiFvFLXApdT+rX8fHI+oGT
+PNKaoxvwfHZlkj7uHzWO2cXCd1y2bCRgiA6LnFplhO3YMlPgiizYs5H6XGtjLzRU
+y2jCJNOC0ZCA3rthuvGRcHrPR5egFF5NEZAk1bLu3+1dsh6TRpgfGiiczcnRn5Vn
+kCP3X/eMiWsXc7myEgmVJ3ZFIT16gA6xvJTwWkIhGA9rHmFi60ofCTTrf8kNHOaz
+erZqU4iDBVdQI+U=
+-----END CERTIFICATE-----
Index: examples/acme_rockets_intersection_rt0_typed/Batman_private.pem
===================================================================
--- examples/acme_rockets_intersection_rt0_typed/Batman_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_rockets_intersection_rt0_typed/Batman_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEowIBAAKCAQEAspTungWgTfaXxxb58kNiC69nDUhbgcPcJLu6j8VJbWbYODm7
+gMHPd13HdsTE1nKTocjnLZnrvtjc5QFn8OIEEhzpB39Kc8mV8jmpRnTB8gkkjKG1
+Tm6TNSPuUXjKNnuyiJtnBAzR3pbpBlRHfsC36X7vPA1dT39IN//3maHCJPVwapzO
+AUkzZyvuYenmIK0zVnrtRvoC7eaPHgK28FiPgGyXMQgUI+QstfZxukOQl8KRXRuG
+1507dv8aO9bBJvz/B5SntARncPSbpLr/H/Y6WDPmXIShVTitbhzaW8Le/J0kV++J
+4cfcvKm9MnowEjQif1+WJRx7lqr5KGlycu6Y1QIDAQABAoIBACbNdYugbVSDYDdC
+Js0dFxCy7BFWx4tKo2rX35GdrHa5AgI1iShQ9GNbXRvRZXOzMaDVpmWiLDcrp9Oa
+mpscgQXugjO+1M6T3qDjJoTImdudYPOtr1d7b0D8ravGMynjdsd3/MpEftV+tONL
+LL294jg5/IFv5faAEZEZbRNUsnqU/Q0a0bcRZY4psrrx+8cJkycIgY8FmsWmyBrC
+x6b0LG7xyMVI/Tiu1VSaxHWkx6S4BPzM7CLrz9syQKr0eHLI6DT6UuvriFQMaZNu
+AlK1tkRDgsw36Y+gwMEZDlW2WglaD2Yzaa+vLzaWpCB1Vsj4nc9qwuTHIZ9jiaCu
+vX6Ni4ECgYEA1ogUUHXE2gKUdz75zj0euvt25LzpOqakna0rpRyraoBMWf4+p+Qh
+bZEB50q+ZmWXBwstGZPWL6l831tvdK45lbVj0V1QVGybldH7MlvABYHqHyS8l5Dd
+zLj1MhTQ4fsaqjdmtWCyzJd7HumHs6bg1ziQH/TrAf51XXTfiqZt+8MCgYEA1Rno
+Ah0B0jW4PYZgcJuM2UeIxM74cciq+ORGoXjbZMz1Pe8o39m4I8G3r4iqm1sFZbP7
+f2OQDo2dV7DZt+s4SJFtGYjH2FiKiiQD3gMPgE6iPpfyyu0Dt0EPN9T0lOKok29M
+I9ZaHdkjyHDCUeD7J3b62pVDMZE2mL/BvZB5h4cCgYBQ8hd4JHeaKs8KD2ECSF2H
+/8nklMMLtkT2mZiWPDMRhEdKzXumrZVPWh91veYJjNtndPgXZoiygyjyvfVX+UUR
+D9gR7zuYH0K1TP2TCrtxWIuWJK5kIe0Oids6glAudCijgTPnzAyq1Z1HFKZ3Ssgb
+bOQ0qpzhq7ltAeQ21IU7MQKBgDX65vtKD8EI3I+xL1K3BFmxtiJsbyCbfTuoz39t
+lt2U0XaL02XIx80+7+GmE9lgmCBoFAfz13ToSHgDE1N0YQB43hL+w+i4nPdbIiOl
+0NJmmNCUOutOWIeeElXJOt9P/vXB1p6pWJCBBYBrl72X6ObZS7f84VV3/EV7JX94
+TmCXAoGBAMw+vdvddldA4RWy0szRWk1lAqRnAaxAgDBauj4OjckUyI5I+xJZhdPG
+hpfZ1jXIfet6HH4tycdMgX2ve1p66CU4GL52PyH+ivtbpeNu6GqE9FWQIaFInBU0
+KQt1HGu6Kd7+EBBk9EiACb1mn9CTT48kTIBJTuWt5vO+JMkmwW+i
+-----END RSA PRIVATE KEY-----
Index: examples/acme_rockets_intersection_rt0_typed/Coyote_ID.pem
===================================================================
--- examples/acme_rockets_intersection_rt0_typed/Coyote_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_rockets_intersection_rt0_typed/Coyote_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDCDCCAfCgAwIBAgIJAMx/EGu01f7aMA0GCSqGSIb3DQEBBQUAMBExDzANBgNV
+BAMTBkNveW90ZTAeFw0xMjAxMTcyMjA5MjNaFw0xNTAxMDEyMjA5MjNaMBExDzAN
+BgNVBAMTBkNveW90ZTCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBAL/b
+lsSNe3klvEZEqPodSA5fzSoa6ugvunFloQa8ov+MMM7MaYENKrq8PNVzsG0a++/P
+se8q72iqzBmIse1hGn+sGYPuLs80n4aAMQd7FBEKZD8xRFtMaAYfQJ8mSeVxPwxs
+Y2myioT31hBA3jfjVIZuyf3rhEcNVpKkI2T18nwep0Mgy6nxqQIHE8KbJaFJrGu2
+4uIK7wfSCBpU+4YQtB9IBIidQ+9M4cM0YycYzhHffuq18KugQ6E7S50FLCXd2JJb
+J487vJccTw9r/6zOLWjkkPYiuOrL8ZAxhnPVX4iYpjC7qV0QigkDC6ml1hH5laNF
+/+QRljf9dHNciN10RFMCAwEAAaNjMGEwDwYDVR0TAQH/BAUwAwEB/zAOBgNVHQ8B
+Af8EBAMCAQYwHQYDVR0OBBYEFFo32p2omX40IKW9VvHQzuX3pyCbMB8GA1UdIwQY
+MBaAFFo32p2omX40IKW9VvHQzuX3pyCbMA0GCSqGSIb3DQEBBQUAA4IBAQC8owTx
+rUYOSXbrL596xsS8fWwL01oLZOepLDN2/mi//h220UTdGVaqx44B4ZQem620TEU3
+HAUtMMkFlB04a3TXTbWzhwSAokrKqySXFo+YtOwrbpDoGYi0uwrKOqjkAMfPR6Ih
+pt1PAfW9k2AmIF/hrDYFSMzde+ti4Q+TgFNHZ7xf9RkVW72QXQl9vZ3Iw1FYIEzu
+zar8iKWE3G5BCgOIPjHXrkLkq+9F6pcTeEVFElduVw8lp85JnFJmnLxO9PvMI8s9
+DD1qjT+gKGU3/pHbCkuPv3FPMcVUyjhmPnTV0PSnvSyx/akKWr59xYzoyff/hlUB
+Pqcnw74Js+ltIaMS
+-----END CERTIFICATE-----
Index: examples/acme_rockets_intersection_rt0_typed/Coyote_private.pem
===================================================================
--- examples/acme_rockets_intersection_rt0_typed/Coyote_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_rockets_intersection_rt0_typed/Coyote_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEogIBAAKCAQEAv9uWxI17eSW8RkSo+h1IDl/NKhrq6C+6cWWhBryi/4wwzsxp
+gQ0qurw81XOwbRr778+x7yrvaKrMGYix7WEaf6wZg+4uzzSfhoAxB3sUEQpkPzFE
+W0xoBh9AnyZJ5XE/DGxjabKKhPfWEEDeN+NUhm7J/euERw1WkqQjZPXyfB6nQyDL
+qfGpAgcTwpsloUmsa7bi4grvB9IIGlT7hhC0H0gEiJ1D70zhwzRjJxjOEd9+6rXw
+q6BDoTtLnQUsJd3Yklsnjzu8lxxPD2v/rM4taOSQ9iK46svxkDGGc9VfiJimMLup
+XRCKCQMLqaXWEfmVo0X/5BGWN/10c1yI3XREUwIDAQABAoIBAHF1xhqk5QFHDKmt
+jxSi3msJwsYEtyjqmOLYzDq0sdxYpsCVaEtWYw+dpIhC63IKhDVU6ZBcHssSPrNX
+AIo2Y7pfJ5O69tm48CJViyk2Yy6Uq6YnV5p6fAYq00eLGCZlK3kIXF40pPBvtJtW
+EVSRzvnVaQUOE+MFA06jXP8m5+j4HSIgl9DuY/o10b0A6eUCC8VfaBK2dnegnUiQ
+AEZ+I5JXwtN+JNSXcJ9MmItK55tJFnpxJPg66u++JDcYkwyV/OdwOktDCv4RvSxG
+iO6nY9o41NO1MZk2YdksedbQq8EIR/gNwcGLJ5J5TJ8gC/IoVG0pXrZLl9pJEJCt
+I6+XfxkCgYEA7BUKOPQ7uM8teZC8A+6Ez3+k0AxBtt0m9t6hu2aR/SavkO8ajfQc
+zhzbgtjP6UruVpa517EFuSLO7RATBFuilHB/tbsysHCz6NdNXeZLe/PWXrLoKl3E
+5h572BGDv9Z1oErp7nJdhDu+10J9ocy2vtrJRBMv1cLnUKqNGAFoaacCgYEA0Ath
+HSH7k/+blf0J14dEZGSrEXeO92h6zaPy+PRn+O9ClQOT+ZFlbQ9vdepnVoS2jqc6
+CfnU5AfFxZPsJnl2UFzExUM9P0RzRsxDqo8mVBng6Q2PlZUyxxiMveDJTq1+Onrg
+FaoZuG/Xrf8RJQ6qs+yIkjR8tBzp1tx9ROB9jXUCgYBE7QelBTmChYpjWaxrAXJp
+Gn1F+K4e84ZywSE7E4FABdFwYT7BfyoBy08TbrWVCTl4slzj6l0fZlg/wlerCA35
+hLbkmhj8hosgSevepGQZdmF6GIXMCMB55yCFPufWVIjXGcgew+kluEPJmTIQ0THx
+mvL0Gx32LQdX99Nl1NNlNQKBgG0ra3x0FqXk3WnpbD6y9oqP4My7pkPhiX9bZuaI
+qf6Q3ql/RSkSyNxf2ydPJ4bZAUr+KZCOjs5R3c/9/U97MUCeTYsN65fFfZBLI77e
+e0hqhAEHYq8lqY2cLk59JGWq2LArRmdX6UNFPTJKxF5jwePEXS4LaNzCx1o+PWXl
+Pzz5AoGALMJg6GiBHTtZtH/r4ka43X1gLpJgJqmkVOSGaMd4Q7Zugr4hWpHFVZjw
+xls6lwCVVUkzmHvFynrM7iCUxMoF2Ndk8KB7nAOcXLia3aobKNAzc1c8v7qWaphw
+glgRMQPXoPGOt1B4BaVkTvIUo3ENvPWQWvsitp8fDwl9mNsXXMk=
+-----END RSA PRIVATE KEY-----
Index: examples/acme_rockets_intersection_rt0_typed/README
===================================================================
--- examples/acme_rockets_intersection_rt0_typed/README	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_rockets_intersection_rt0_typed/README	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,53 @@
+#!/bin/sh
+
+rm -rf *.der *.pem
+
+#
+#This example demonstrates intersections.
+#
+#In order to buy rockets from Acme, you must be BOTH a preferred customer
+#AND a WarnerBros character. In this example, the following query will be
+#successful:
+#
+#    Acme.buy_rockets <-?- Coyote
+#
+#The following query will fail (because Batman does not have the
+#attribute WarnerBros.character):
+#
+#    Acme.buy_rockets <-?- Batman
+#
+#Acme.buy_rockets <- Acme.preferred_customer & WarnerBros.character
+#Acme.preferred_customer <- Coyote
+#Acme.preferred_customer <- Batman
+#WarnerBros.character <- Coyote
+#
+
+creddy --generate --cn Acme
+creddy --generate --cn WarnerBros
+creddy --generate --cn Coyote
+creddy --generate --cn Batman
+
+#[keyid:Acme].role:buy_rockets <- [keyid:Acme].role:preferred_customer & [keyid:WarnerBros].role:charater
+creddy --attribute \
+       --issuer Acme_ID.pem --key Acme_private.pem --role buy_rockets \
+       --subject-cert Acme_ID.pem --subject-role preferred_customer \
+       --subject-cert WarnerBros_ID.pem --subject-role character \
+       --out Acme_buy_rockets__Acme_preferred_customer_and_WarnerBros_character_attr.der
+
+#[keyid:Acme].role:preferred_customer <- [keyid:Coyote]
+creddy --attribute \
+       --issuer Acme_ID.pem --key Acme_private.pem --role preferred_customer \
+       --subject-cert Coyote_ID.pem \
+       --out Acme_preferred_customer__Coyote_attr.der
+
+#[keyid:Acme].role:preferred_customer <- [keyid:Batman]
+creddy --attribute \
+       --issuer Acme_ID.pem --key Acme_private.pem --role preferred_customer \
+       --subject-cert Batman_ID.pem \
+       --out Acme_preferred_customer__Batman_attr.der
+
+#[keyid:WarnerBros].role:character <- [keyid:Coyote]
+creddy --attribute \
+       --issuer WarnerBros_ID.pem --key WarnerBros_private.pem --role character \
+       --subject-cert Coyote_ID.pem \
+       --out WarnerBros_character__Coyote_attr.der
Index: examples/acme_rockets_intersection_rt0_typed/WarnerBros_ID.pem
===================================================================
--- examples/acme_rockets_intersection_rt0_typed/WarnerBros_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_rockets_intersection_rt0_typed/WarnerBros_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDEDCCAfigAwIBAgIJAJQAb/f1WkghMA0GCSqGSIb3DQEBBQUAMBUxEzARBgNV
+BAMTCldhcm5lckJyb3MwHhcNMTIwMTE3MjIwOTIxWhcNMTUwMTAxMjIwOTIxWjAV
+MRMwEQYDVQQDEwpXYXJuZXJCcm9zMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIB
+CgKCAQEA24Av7+3vDnFqBcKwVEHNyKjKdAnWBaCp7jiTy6DdMDowwahrY0v7qVYp
+gQX8oJi94b/QdHK9CIxGDysnIYi5n6B9GcfSDZke8axTFVADxZt165KKRkNxDACe
+G3AvOW6Qx4mpPEzAPIv95uDKoMYS/qYkh13Z5l9N/KlpOPEHe2GQ4NkkA4khNEaR
+yRDp4KDHN15S9y3hH6LmpR9WqA5wcYDkk6vNPO0mVcDPqc+G0mFzhXdJD/aOtp7b
+6KD2bCRQmk1Wmqks7pzqgN8RwSMnTb4NAyd3vsTZOxGj89Y91mCLSZh8Zg4zjOpX
+lX5wySogkqmOYr9rZ8FQBOJ54poy+QIDAQABo2MwYTAPBgNVHRMBAf8EBTADAQH/
+MA4GA1UdDwEB/wQEAwIBBjAdBgNVHQ4EFgQUG+DiJP8zgzPTaGj3xMhU+ZY/o7Uw
+HwYDVR0jBBgwFoAUG+DiJP8zgzPTaGj3xMhU+ZY/o7UwDQYJKoZIhvcNAQEFBQAD
+ggEBAJeKCoWnWNKc3ckkRXJupviSnbh3PI4FoYF7YuVGTkkHqa/Y+6TRk2gcD8d5
+QM8HoqdAS4VgkAQxQDg4mBaIV2deH6qwbTnmVIizlSH94Acva8oZGzLIARiiaRfx
+vUyhHuo/lBuW1HM/mnOhlqbxi6J97nl+gNNYoZqYRZx27lPJ1azjXmLVKnSTtvb8
+2KJ0Ro26XXxVDdG/qXgPzNbkTS8di3z3MJ4JM5iCLX/+IFMIC2Sh2HaUmgVGbUwJ
+KYRccC00XcYYiEhvnc3qBBYa/dft/KU6hALcGttW37uOcz3wUndfqO8WUb3/9e7g
+YFXEYVcltwhfwE8bLIicupUuI0g=
+-----END CERTIFICATE-----
Index: examples/acme_rockets_intersection_rt0_typed/WarnerBros_private.pem
===================================================================
--- examples/acme_rockets_intersection_rt0_typed/WarnerBros_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_rockets_intersection_rt0_typed/WarnerBros_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEpAIBAAKCAQEA24Av7+3vDnFqBcKwVEHNyKjKdAnWBaCp7jiTy6DdMDowwahr
+Y0v7qVYpgQX8oJi94b/QdHK9CIxGDysnIYi5n6B9GcfSDZke8axTFVADxZt165KK
+RkNxDACeG3AvOW6Qx4mpPEzAPIv95uDKoMYS/qYkh13Z5l9N/KlpOPEHe2GQ4Nkk
+A4khNEaRyRDp4KDHN15S9y3hH6LmpR9WqA5wcYDkk6vNPO0mVcDPqc+G0mFzhXdJ
+D/aOtp7b6KD2bCRQmk1Wmqks7pzqgN8RwSMnTb4NAyd3vsTZOxGj89Y91mCLSZh8
+Zg4zjOpXlX5wySogkqmOYr9rZ8FQBOJ54poy+QIDAQABAoIBACVG/d0ncWPoivLz
+f3Kvwj0DvW47hWdrQ7C7Vw5MAYSBPWqGKcaxTsoRYfcRhzfW+Nhv9Pzxx3y+Jd/J
+mlmtmKitXtGUB+5bRNASTgHeluVmY35gYq9QINDDAhby1HJSfrAEhwNAnZ0qwTIG
+lyL6wJsSqD19CNaA9QOl2cLb3ENtm9pkQrXKyBb+jkeGbPC4s/Z7dMz67tQAHR6K
+1fLeN2mCHPqrrpkNCGT2JAafdUCDeAQMKwkfkRLHOJHuDBkAusW7kWW7X30KLHPd
+j/muCXBZ5D5A6T+HYFW1v3Bbn6dTFWEwb0rPPFkIS9Y9JgLb8T/fsKQIfDngNrn7
+xo19WwECgYEA9AYDo4D77QMwBzn7ZKCdBL/Vj3jyJMjKo7Bsc3dd59m2/L0rnZ7O
+jJlFvUqBk9LiejK+BcymbGz3DJZAx7W8KoyzANUJYBxPG+DykReD5kQ+G91Wg1Jp
+wCf6qrRABduqD2d4mUWahM5imZ5s5ac5oKnQICap3I6GwZFCFw2KCAkCgYEA5kYP
+wswewZs+zzzc1ekr50l/8qKI7l4jLDdDsJhT7O3edQueGp+885Pw3BKV2ld7GPvG
+q5x/JKwAJfZzLjp1fozKPjBsNDlbETwB8W4v/vg3730CU3+1T4QFsk+puSFt7EJp
+HGqYOjctmsLtAyatv6BUMpOlTsJ+ZS7684ZbL3ECgYEA0Kh/3gSB5qWuIM/ElcP8
+373FOBw8OZX0KEnIQmeURZdVsAF11R6hEXpSNs0JxcQyYjkXYVAgEmCOUxX7qIlO
+r7eFrLV9gdBTGMydvdE0uOYrkZoOytXilSvaXLMqd5fgb7GTXsQ0n1D24NKl3S3D
+ygzKaWOGJZE9yzCRKbMrDzkCgYEAtNGzMp2iURkc2xLJvldYmEeI5vhmWfcl22SS
+DKuwy02F75bt0a45a3NyIP2fGlKzYMzkFoHO/PbrLuQ1Ucmp1XOso+TWMrQPJJtg
+UzrZCXfURIR/PR39O7FJ39jaR3tOm8USULQLUTte3jXOczj+GolFVGnH1u623bFk
+cbHBDKECgYAl39Libzv1ysXjH7pkYNDgFa5emzvw52APRFH+xbZPrhn8goi+8fdc
+Deozd/CtU1oHq3iPzCgZhNBwOIBMgp5ImbjbWkDBwPrxCEQvDHjXnEaKwI5fEGGD
+IrY2+0KTie4QCnrz6cegiSlUYo0ktJmiee05PwdI3hb6AS+4WYKujA==
+-----END RSA PRIVATE KEY-----
Index: examples/acme_rockets_intersection_rt0_typed/rr
===================================================================
--- examples/acme_rockets_intersection_rt0_typed/rr	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_rockets_intersection_rt0_typed/rr	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,34 @@
+
+eloc=/home/mei/Deter/abac/libabac
+keyloc=/home/mei/Deter/abac/examples/acme_rockets_intersection_rt0_typed
+
+acme=`creddy --keyid --cert $keyloc/Acme_ID.pem`
+batman=`creddy --keyid --cert $keyloc/Batman_ID.pem`
+coyote=`creddy --keyid --cert $keyloc/Coyote_ID.pem`
+
+#[keyid:Acme].role:buy_rockets <-?- [keyid:Coyote] yap
+#isMember(pCoyote, role(pAcme,buy_rockets), C).
+echo "  "
+echo "===good============ Acme.buy_rockets <- Coyote yap "
+$eloc/abac_prover_yap  --keystore $keyloc --role $acme.buy_rockets --principal $coyote
+
+#[keyid:Acme].role:bad_buy_rockets <-?- [keyid:Coyote] yap
+#isMember(pCoyote, role(pAcme,bad_buy_rockets), C).
+echo "  "
+echo "===bad============ Acme.bad_buy_rockets <- Coyote yap"
+$eloc/abac_prover_yap  --keystore $keyloc --role $acme.bad_buy_rockets --principal $coyote
+
+#[keyid:Acme99].role:buy_rockets <-?- [keyid:Coyote99] yap
+#isMember(pCoyote99, role(pAcme99,buy_rockets), C).
+echo "  "
+echo "===bad============ badAcme.buy_rockets <- badCoyote yap"
+$eloc/abac_prover_yap  --keystore $keyloc --role $acme99.bad_buy_rockets --principal $coyote99
+
+#Acme.buy_rockets <-?- Batman yap
+#[keyid:Acme].role:buy_rockets <-?- [keyid:Batman] yap
+#isMember(pBatman, role(pAcme,buy_rockets), C).
+echo "  "
+echo "===bad=============== Acme.buy_rockets <- Batman yap"
+$eloc/abac_prover_yap  --keystore $keyloc --role $acme.buy_rockets --principal $batman
+
+
Index: examples/acme_rockets_rt0_typed/Acme_ID.pem
===================================================================
--- examples/acme_rockets_rt0_typed/Acme_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_rockets_rt0_typed/Acme_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDBDCCAeygAwIBAgIJALLzeXeloNeRMA0GCSqGSIb3DQEBBQUAMA8xDTALBgNV
+BAMTBEFjbWUwHhcNMTIwMTE3MjEzODU5WhcNMTUwMTAxMjEzODU5WjAPMQ0wCwYD
+VQQDEwRBY21lMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4CIw7dcx
+EghfMvh6DYHmmcm3mBBVSp3/GYBo927AP/WL2zOYRBoXehCNkwOFSmtGpYZUW+y9
+NnxAWd23UvqBJq7joi19fX412eqQIFxmDyPkOCZB8e00ifFM8hJXfryX4DbRB6JF
+W0CbkoBm2rcIw32XgKnvZEQb2FgaYc7glaq373kzFE//Mmg78JOaz5UwsEGJElDU
+zFG3Mn0wo/374T0BeayRRBc8aMpRuM9q24iDs+7qZUJDMJCUVduV+fHJiHjlJB+j
+vuM+cz5ZICvYtXEsZNBJ99GjFys6I86RudDnojM4J1UPaMGg7g6ZvgVhfmhf8Rm+
+EorWo1HnDj3l/QIDAQABo2MwYTAPBgNVHRMBAf8EBTADAQH/MA4GA1UdDwEB/wQE
+AwIBBjAdBgNVHQ4EFgQUUxUwceyMurykHefePz22xGo7qVowHwYDVR0jBBgwFoAU
+UxUwceyMurykHefePz22xGo7qVowDQYJKoZIhvcNAQEFBQADggEBAJCz7M2nbC4q
+1nGaxII9I1uouAUBDsZApB7hgz2U9KOQayUSjdm3KGB4SmMHNqbBtNiE6DUeDQVi
+Y8P4qgEs1VdJSYUG9d/mjskL9adcZ9YII5w/aoU5sRcsPOp5bxo9TTD7yOjJk5QL
+0Q1zMCnT5CUMgtrsvUkwIF11sRPvy+sZwMws60PkipNhOtWkjuhxEs9qd++DOkES
+2NFHKNQmSnSb+rIkWjbZB+NkQCLBtJRCH9PNAFs9pSi8W1Fo/4pLRdib6/Hipw55
+7Hmj6VsqphqaYFaskJDEUugD3C7MSTduOWece6+XBbmoZEXt/xAv6JMfxNHvHlUt
+QzXZno5F+cs=
+-----END CERTIFICATE-----
Index: examples/acme_rockets_rt0_typed/Acme_private.pem
===================================================================
--- examples/acme_rockets_rt0_typed/Acme_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_rockets_rt0_typed/Acme_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEpAIBAAKCAQEA4CIw7dcxEghfMvh6DYHmmcm3mBBVSp3/GYBo927AP/WL2zOY
+RBoXehCNkwOFSmtGpYZUW+y9NnxAWd23UvqBJq7joi19fX412eqQIFxmDyPkOCZB
+8e00ifFM8hJXfryX4DbRB6JFW0CbkoBm2rcIw32XgKnvZEQb2FgaYc7glaq373kz
+FE//Mmg78JOaz5UwsEGJElDUzFG3Mn0wo/374T0BeayRRBc8aMpRuM9q24iDs+7q
+ZUJDMJCUVduV+fHJiHjlJB+jvuM+cz5ZICvYtXEsZNBJ99GjFys6I86RudDnojM4
+J1UPaMGg7g6ZvgVhfmhf8Rm+EorWo1HnDj3l/QIDAQABAoIBAQCV3MaygOxCjm54
++kNBvNWfhozHlEQzPClRt9Z3ewn4ugnlaz4oavm/mEnRPs1k0Q3Pp13IiSaKw9GT
+RPhK90xbvRxfV+NMgZMoPfpYaO+kt+7kzE/TnzM9+KXmRfVSvG8gcAacABg3x589
++bTMEQ4/CD7AvN9gP1oO8fnR5C2uY9N6kkkDY9qgTmkm7Ad/+0ngxeD1WSrWF996
+huSDhCJEE+PwXJAc2Hd5+jvhhtOhYWwF5rlJILzrghrEIG7lVqXYTB3uQOpBXsYr
+TCFnHAAKbtb0Z3WQ1YjhobiljEuzt/x6kVZ3uNBB6jwjHlj1X6e3udYccKedyPqy
+temHkgtRAoGBAPE6T2rBohhUTlYp7Yaxtuh6hLuT74VNHAFiJ9Wd2FwZbl+YV7az
+zBjVUYSt+rmHQCwnckV/Q2PYRKWtEXqT4IIO35+R7P4O1EGJfkardY+Nvjrj0Jrm
+/qiRuV8TNge47Xk13rB/G0wtnpaFU3s+LMxfgKtCFNfSptuPp87mF/uDAoGBAO3b
+5ch6DMP0UYFyrfCG0pBNA4dMu76wDqESc7F5BZlgV83nl1t0gVQHFp6oV0SkVhkE
+40hWXK8ubSAX+wvHP1HPWVisKrLylQgGOQu68vR0PJ8WlrOq5ZHcAlolY15r5M8V
+P8vQ+/QaAmgPutaYwMmEIKrDH4P+sH9d4PA8LWB/AoGAHKxfsELf76Blx1wofbA2
+G6Akkt9cwy2NPKTcM0oV46yqL/a9xlvM0M7aZ7j+ansnJ5hwvs4HxqB4WHEf+MAH
+Ga6G6kLANtqwZDHhrqjGyo+AoyNdMmxurL7Vl/WCoJxcreG3XKdfKUjq5t1mNOoJ
+DSn082Zhb938M3D581/qTd0CgYEAtG9SgWDsnB2TUsJe5o4v3x085v8zkLTXdCKe
+Nuvabn4iPWVIcS0RCmASLasAAGc1lOcbTv2Mc6uhRm5Kl6W/B91mJpj8DyFsIlku
+HxLjSMOAVSJ6kbK7UYl3E1E3byIjwV+aNI/FAWhVmQENt8rKvFOJwGAiYSvsUcIy
+Z6sOtRsCgYB9RK3K7nMxWNYACCkq4nxHZuHwsXt3iTJ8Mj4nAtwBSdeHVs2BG3Y4
+DsUhqfeiuuLvEq0mWNuh7mR4FIFaO83ubD9Ry2LqWBxCMIAWHM+5TLLuqGn9dqDh
+I3aYF5Dvd7A5vkc/eJPt8FzKie462KE50yoGi4mVWCH15jOdJ5McrA==
+-----END RSA PRIVATE KEY-----
Index: examples/acme_rockets_rt0_typed/Coyote_ID.pem
===================================================================
--- examples/acme_rockets_rt0_typed/Coyote_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_rockets_rt0_typed/Coyote_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDBzCCAe+gAwIBAgIIZcW4joK5mjYwDQYJKoZIhvcNAQEFBQAwETEPMA0GA1UE
+AxMGQ295b3RlMB4XDTEyMDExNzIxMzkwMFoXDTE1MDEwMTIxMzkwMFowETEPMA0G
+A1UEAxMGQ295b3RlMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA9+ja
+T17+b1J1B4AAHp2EUfkT7X106evaUWQ1Dvyh576zwC7w2VnHOWhOOoMrZMfaSZUB
+fWo+3+BddKQ3fSjBlkabo8a/EzShNSILlRx8p5kJTt5debR0kKn1fXnaO2sOoBQ2
+LBpYRjKhoidAbvc16oxIVYFygwq7fgn2vaEbfv6WoX2gyDA9vZK60wQOdXui1b49
+nxthLKpVqZGg/v3RTQmTmE81Fc3enKOjDQJ0n1w7+GYNn3iNr7MYT+6bfITf2OMj
+ZWZUCerAg0DmzAEKp/BIWdHhPgsTRkzdb7Y5eo6DyBVCr+xrioF4VdMDrp4P7Sxi
+Ijw4dBPcT8R1ObppUwIDAQABo2MwYTAPBgNVHRMBAf8EBTADAQH/MA4GA1UdDwEB
+/wQEAwIBBjAdBgNVHQ4EFgQUira9xKNSPPJjSa5eUwZe8uycfkIwHwYDVR0jBBgw
+FoAUira9xKNSPPJjSa5eUwZe8uycfkIwDQYJKoZIhvcNAQEFBQADggEBAIqBObsF
+7FKpUoFmzdAMBw2ijtEBlrhcGjsGTVeZ+HrkoK1ExwQ8DppqnAlzHMAmTlouYX3l
+rLmq7qJwJYsmJWm/q/bPnPalJ0p3nZ+4krmZUJX1A2sOrqOBNXbV9UIcZaoFEVRb
+S1i8Pad9p7plk9XiiPlyXkfPov2ezkpP9L0eYyTIclpSn7l/++FQw2ukmfqDG944
+zP1qVvXMO5FfA7Rl1FaRryGpDWgwDY83rjiJtzRiI1OPa0cuf95NgJuEzqWrgiOU
+/gnSssbTJPb5AHFF8JCluX7n4yWlRer2GmHb9gJPwI7/iQmeIoZXELCZ82Qjrvsp
+d96s7MOONKRjJCs=
+-----END CERTIFICATE-----
Index: examples/acme_rockets_rt0_typed/Coyote_private.pem
===================================================================
--- examples/acme_rockets_rt0_typed/Coyote_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_rockets_rt0_typed/Coyote_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEpAIBAAKCAQEA9+jaT17+b1J1B4AAHp2EUfkT7X106evaUWQ1Dvyh576zwC7w
+2VnHOWhOOoMrZMfaSZUBfWo+3+BddKQ3fSjBlkabo8a/EzShNSILlRx8p5kJTt5d
+ebR0kKn1fXnaO2sOoBQ2LBpYRjKhoidAbvc16oxIVYFygwq7fgn2vaEbfv6WoX2g
+yDA9vZK60wQOdXui1b49nxthLKpVqZGg/v3RTQmTmE81Fc3enKOjDQJ0n1w7+GYN
+n3iNr7MYT+6bfITf2OMjZWZUCerAg0DmzAEKp/BIWdHhPgsTRkzdb7Y5eo6DyBVC
+r+xrioF4VdMDrp4P7SxiIjw4dBPcT8R1ObppUwIDAQABAoIBAF2x2rh+vYjTUDm6
+bdEkVTsp+RccAFDce9GhHtCAOKy+jW8IDq0G2l3fBxnkM0VOpziCIWMGAadZQ9ju
+q64Y9jlWjEI0vkiC7p6HNHtxncc19qehMRDrW9bE9Wwr3ofwaUGlAehfOJenUSFY
+1mhZ9D2mMTxnxSCzsLLtDx0SQ7MVxOckZtx1jfbgwGevq9butDHKOqfWkM8sQl8F
+ZdniPuB2aQniOWoX+FFavYAx7utxRPalDyRE7SvZlr/8QQao/A98CqaowTsoC+Gk
+4tZuHyvjZ5Si8wpUSKZhWbhOUMNucF4soflx490Be4vphM9dDIlODrichU0l4mvC
+1NdLLEkCgYEA/l3tmLH2E69XR16VhBNHkZu2FV1PQsbYCGx1XJCo6DbUeFfdCn1U
+HUBRuhyphvTsmqBLDPa4Cc32nxk7NIi/zfQrs3vU8GsTavQeqKCUR2DwhExC7KlF
+VYFX8BBpt35RcoAUK6Vw+z5s3tbYokC7mbNdnEV+V1KBzJZwl+njDz0CgYEA+YBP
+wUzodTCxl9oXSw1AE2mnSdDRVNuyeRwpyZc1JEKwP65sXXax+ecdYutJ8NMVaFBS
+ls9YFKntUBfWxSaez44qgDmSImorJ5xVqDAbdSFpyvoxzgwqLpBr4KHT/r9sIIpb
+sIBsBnZ2eJgSbH/xM4b0wW6IIr6LURmB1KD2488CgYEAo1XnMszbqepGzjJjKgtD
+QrHNK0zej4+lu0sB1a2ieHJ03s30xz6RG7Noh2zOQzXVFLlnV+y5YrpZ6fHGvcYt
+++8VfMxAgR0Qu/YEFd3/ORJ7f0iFFPjg57YFpMa1S7mWTUMHMLusn/iG6lTliNKu
+ZFT0AFvzc9ksNhZIOJRcVDUCgYEA7/EXwjvmKh2EDRct432Aq6qluPVa+xK1Vodh
+IH+MGa0Qto1VpaSqkDxVJHZGi5VUNxdX9bS9blHk6WujncIAZHbCJMI46WPU0Kkm
+LzLklQZnKU7natKEFnfJZyP6LjmFEN4+Q0WdnbF7SYpl3XZFTlpxMzzLKy636Gxx
+UTzjcj0CgYAPPauT8cqEnKCq8YHDWYt9gZIbz2qc6CeaRM2EpGsNTtN8FDJBtCcQ
+0LEFFxoJI4OPphERIpQfrJ1TViu+0X4rJAOEiPq9v5YokxSnHnuHjzEbYe5gAraD
+xml3b3gdHhbfe0XWXXHJNnKuvIHmFqkCNvCU10CFemcSvAGt3a8lWw==
+-----END RSA PRIVATE KEY-----
Index: examples/acme_rockets_rt0_typed/README
===================================================================
--- examples/acme_rockets_rt0_typed/README	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_rockets_rt0_typed/README	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+#!/bin/sh
+
+rm -rf *.der *.pem
+
+creddy --generate --cn Acme
+creddy --generate --cn Coyote
+
+#[keyid:Acme].role:buy_rockets <- [keyid:Acme].role:preferred_customer 
+creddy --attribute \
+       --issuer Acme_ID.pem --key Acme_private.pem --role buy_rockets \
+       --subject-cert Acme_ID.pem --subject-role preferred_customer \
+       --out Acme_buy_rockets__Acme_preferred_customer_attr.der
+
+#[keyid:Acme].role:preferred_customer <- [keyid:Coyote]
+creddy --attribute \
+       --issuer Acme_ID.pem --key Acme_private.pem --role preferred_customer \
+       --subject-cert Coyote_ID.pem \
+       --out Acme_preferred_customer__Coyote_attr.der
+
Index: examples/acme_rockets_rt0_typed/rr
===================================================================
--- examples/acme_rockets_rt0_typed/rr	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_rockets_rt0_typed/rr	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,31 @@
+
+eloc=/home/mei/Deter/abac/libabac
+keyloc=/home/mei/Deter/abac/examples/acme_rockets_rt0_typed
+
+acme=`creddy --keyid --cert $keyloc/Acme_ID.pem`
+coyote=`creddy --keyid --cert $keyloc/Coyote_ID.pem`
+
+#[keyid:Acme].role:preferred_customer <-?- [keyid:Coyote] yap
+#isMember(pCoyote, role(pAcme,preferred_customer), C).
+echo "  "
+echo "===good============ Acme.preferred_customer <- Coyote yap "
+$eloc/abac_prover_yap  --keystore $keyloc --role $acme.preferred_customer --principal $coyote
+
+#[keyid:Acme].role:buy_rockets <-?- [keyid:Coyote] yap
+#isMember(pCoyote, role(pAcme,buy_rockets), C).
+echo "  "
+echo "===good=============== Acme.buy_rockets <- Coyote yap"
+$eloc/abac_prover_yap  --keystore $keyloc --role $acme.buy_rockets --principal $coyote
+
+## this is not suppose to work
+#[keyid:Acme].role:buy_rockets <-?- [keyid:Acme].role:preferred_customer yap
+echo "  "
+echo "===bad=============== Acme.buy_rockets <- Acme.preferred_customer yap"
+$eloc/abac_prover_yap  --keystore $keyloc --role $acme.buy_rockets --principal $acme.preferred_customer
+
+#[keyid:Coyote].role:friend <-?- [keyid:Acme] yap
+#isMember(pAcme, role(pCoyote,friend), C).
+echo "  "
+echo "===bad=============== Coyote.friend <- Acme yap"
+$eloc/abac_prover_yap  --keystore $keyloc --role $acme.friend --principal $acme
+
Index: examples/acme_rockets_rt0_typed/rrout
===================================================================
--- examples/acme_rockets_rt0_typed/rrout	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_rockets_rt0_typed/rrout	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,185 @@
+  
+===good============ Acme.preferred_customer <- Coyote yap 
+% Restoring file /usr/local/lib/Yap/startup.yss
+calling source..
+--> ID cert... /home/mei/Deter/abac/examples/acme_rockets_rt0_typed/Acme_ID.pem
+--> ID cert... /home/mei/Deter/abac/examples/acme_rockets_rt0_typed/Coyote_ID.pem
+--> attr file... /home/mei/Deter/abac/examples/acme_rockets_rt0_typed/Acme_buy_rockets__Acme_preferred_customer_attr.der
+--> attr file... /home/mei/Deter/abac/examples/acme_rockets_rt0_typed/Acme_preferred_customer__Coyote_attr.der
+
+
+========= yap db (DEBUG:calling within _query)
+isMember(A,role(pAcme,buy_rockets),B) :-
+   isMember(A,role(pAcme,preferred_customer),C),
+   appendL([['[keyid:308020ace07e02450dbc7b58bfc099e4f8b989cd].role:buy_rockets <- [keyid:308020ace07e02450dbc7b58bfc099e4f8b989cd].role:preferred_customer'],C],B),
+   isType(pAcme,keyid).
+isMember(pCoyote,role(pAcme,preferred_customer),['[keyid:308020ace07e02450dbc7b58bfc099e4f8b989cd].role:preferred_customer <- [keyid:5b705754a7e15cf4a2ba17bd0ef86c32aa4943ac]']) :-
+   isType(pAcme,keyid),
+   isType(pCoyote,keyid).
+isType(pAcme,keyid).
+isType(pCoyote,keyid).
+appendL([],[]).
+appendL([B|C],A) :-
+   appendL(C,D),
+   append(B,D,A).
+append([],A,A).
+append([B|C],A,[B|D]) :-
+   append(C,A,D).
+file_search_path(library,A) :-
+   library_directory(A).
+file_search_path(commons,_) :-
+   commons_directory(_).
+file_search_path(swi,A) :-
+   current_prolog_flag(home,A).
+file_search_path(yap,A) :-
+   current_prolog_flag(home,A).
+file_search_path(system,A) :-
+   prolog_flag(host_type,A).
+file_search_path(foreign,yap('lib/Yap')).
+listing ok.. 
+========= 
+
+success, query call ok.. 
+DEBUG:responds from yap(['[keyid:308020ace07e02450dbc7b58bfc099e4f8b989cd].role:preferred_customer <- [keyid:5b705754a7e15cf4a2ba17bd0ef86c32aa4943ac]'])
+DEBUG:total 1 credentials
+prover success!!
+credentials needed :
+ =>308020ace07e02450dbc7b58bfc099e4f8b989cd.preferred_customer
+        <- 5b705754a7e15cf4a2ba17bd0ef86c32aa4943ac
+
+  
+===good=============== Acme.buy_rockets <- Coyote yap
+% Restoring file /usr/local/lib/Yap/startup.yss
+calling source..
+--> ID cert... /home/mei/Deter/abac/examples/acme_rockets_rt0_typed/Acme_ID.pem
+--> ID cert... /home/mei/Deter/abac/examples/acme_rockets_rt0_typed/Coyote_ID.pem
+--> attr file... /home/mei/Deter/abac/examples/acme_rockets_rt0_typed/Acme_buy_rockets__Acme_preferred_customer_attr.der
+--> attr file... /home/mei/Deter/abac/examples/acme_rockets_rt0_typed/Acme_preferred_customer__Coyote_attr.der
+
+
+========= yap db (DEBUG:calling within _query)
+isMember(A,role(pAcme,buy_rockets),B) :-
+   isMember(A,role(pAcme,preferred_customer),C),
+   appendL([['[keyid:308020ace07e02450dbc7b58bfc099e4f8b989cd].role:buy_rockets <- [keyid:308020ace07e02450dbc7b58bfc099e4f8b989cd].role:preferred_customer'],C],B),
+   isType(pAcme,keyid).
+isMember(pCoyote,role(pAcme,preferred_customer),['[keyid:308020ace07e02450dbc7b58bfc099e4f8b989cd].role:preferred_customer <- [keyid:5b705754a7e15cf4a2ba17bd0ef86c32aa4943ac]']) :-
+   isType(pAcme,keyid),
+   isType(pCoyote,keyid).
+isType(pAcme,keyid).
+isType(pCoyote,keyid).
+appendL([],[]).
+appendL([B|C],A) :-
+   appendL(C,D),
+   append(B,D,A).
+append([],A,A).
+append([B|C],A,[B|D]) :-
+   append(C,A,D).
+file_search_path(library,A) :-
+   library_directory(A).
+file_search_path(commons,_) :-
+   commons_directory(_).
+file_search_path(swi,A) :-
+   current_prolog_flag(home,A).
+file_search_path(yap,A) :-
+   current_prolog_flag(home,A).
+file_search_path(system,A) :-
+   prolog_flag(host_type,A).
+file_search_path(foreign,yap('lib/Yap')).
+listing ok.. 
+========= 
+
+success, query call ok.. 
+DEBUG:responds from yap(['[keyid:308020ace07e02450dbc7b58bfc099e4f8b989cd].role:buy_rockets <- [keyid:308020ace07e02450dbc7b58bfc099e4f8b989cd].role:preferred_customer','[keyid:308020ace07e02450dbc7b58bfc099e4f8b989cd].role:preferred_customer <- [keyid:5b705754a7e15cf4a2ba17bd0ef86c32aa4943ac]'])
+DEBUG:total 2 credentials
+prover success!!
+credentials needed :
+ =>308020ace07e02450dbc7b58bfc099e4f8b989cd.buy_rockets
+        <- 308020ace07e02450dbc7b58bfc099e4f8b989cd.preferred_customer
+
+ =>308020ace07e02450dbc7b58bfc099e4f8b989cd.preferred_customer
+        <- 5b705754a7e15cf4a2ba17bd0ef86c32aa4943ac
+
+  
+===bad=============== Acme.buy_rockets <- Acme.preferred_customer yap
+% Restoring file /usr/local/lib/Yap/startup.yss
+calling source..
+--> ID cert... /home/mei/Deter/abac/examples/acme_rockets_rt0_typed/Acme_ID.pem
+--> ID cert... /home/mei/Deter/abac/examples/acme_rockets_rt0_typed/Coyote_ID.pem
+--> attr file... /home/mei/Deter/abac/examples/acme_rockets_rt0_typed/Acme_buy_rockets__Acme_preferred_customer_attr.der
+--> attr file... /home/mei/Deter/abac/examples/acme_rockets_rt0_typed/Acme_preferred_customer__Coyote_attr.der
+
+
+========= yap db (DEBUG:calling within _query)
+isMember(A,role(pAcme,buy_rockets),B) :-
+   isMember(A,role(pAcme,preferred_customer),C),
+   appendL([['[keyid:308020ace07e02450dbc7b58bfc099e4f8b989cd].role:buy_rockets <- [keyid:308020ace07e02450dbc7b58bfc099e4f8b989cd].role:preferred_customer'],C],B),
+   isType(pAcme,keyid).
+isMember(pCoyote,role(pAcme,preferred_customer),['[keyid:308020ace07e02450dbc7b58bfc099e4f8b989cd].role:preferred_customer <- [keyid:5b705754a7e15cf4a2ba17bd0ef86c32aa4943ac]']) :-
+   isType(pAcme,keyid),
+   isType(pCoyote,keyid).
+isType(pAcme,keyid).
+isType(pCoyote,keyid).
+appendL([],[]).
+appendL([B|C],A) :-
+   appendL(C,D),
+   append(B,D,A).
+append([],A,A).
+append([B|C],A,[B|D]) :-
+   append(C,A,D).
+file_search_path(library,A) :-
+   library_directory(A).
+file_search_path(commons,_) :-
+   commons_directory(_).
+file_search_path(swi,A) :-
+   current_prolog_flag(home,A).
+file_search_path(yap,A) :-
+   current_prolog_flag(home,A).
+file_search_path(system,A) :-
+   prolog_flag(host_type,A).
+file_search_path(foreign,yap('lib/Yap')).
+listing ok.. 
+========= 
+
+fail, a.r <- b.r query is not implemented yet !!!
+  
+===bad=============== Coyote.friend <- Acme yap
+% Restoring file /usr/local/lib/Yap/startup.yss
+calling source..
+--> ID cert... /home/mei/Deter/abac/examples/acme_rockets_rt0_typed/Acme_ID.pem
+--> ID cert... /home/mei/Deter/abac/examples/acme_rockets_rt0_typed/Coyote_ID.pem
+--> attr file... /home/mei/Deter/abac/examples/acme_rockets_rt0_typed/Acme_buy_rockets__Acme_preferred_customer_attr.der
+--> attr file... /home/mei/Deter/abac/examples/acme_rockets_rt0_typed/Acme_preferred_customer__Coyote_attr.der
+
+
+========= yap db (DEBUG:calling within _query)
+isMember(A,role(pAcme,buy_rockets),B) :-
+   isMember(A,role(pAcme,preferred_customer),C),
+   appendL([['[keyid:308020ace07e02450dbc7b58bfc099e4f8b989cd].role:buy_rockets <- [keyid:308020ace07e02450dbc7b58bfc099e4f8b989cd].role:preferred_customer'],C],B),
+   isType(pAcme,keyid).
+isMember(pCoyote,role(pAcme,preferred_customer),['[keyid:308020ace07e02450dbc7b58bfc099e4f8b989cd].role:preferred_customer <- [keyid:5b705754a7e15cf4a2ba17bd0ef86c32aa4943ac]']) :-
+   isType(pAcme,keyid),
+   isType(pCoyote,keyid).
+isType(pAcme,keyid).
+isType(pCoyote,keyid).
+appendL([],[]).
+appendL([B|C],A) :-
+   appendL(C,D),
+   append(B,D,A).
+append([],A,A).
+append([B|C],A,[B|D]) :-
+   append(C,A,D).
+file_search_path(library,A) :-
+   library_directory(A).
+file_search_path(commons,_) :-
+   commons_directory(_).
+file_search_path(swi,A) :-
+   current_prolog_flag(home,A).
+file_search_path(yap,A) :-
+   current_prolog_flag(home,A).
+file_search_path(system,A) :-
+   prolog_flag(host_type,A).
+file_search_path(foreign,yap('lib/Yap')).
+listing ok.. 
+========= 
+
+fail, query's call is bad.. 
Index: examples/acme_rockets_rt0_typed/rt0.pl
===================================================================
--- examples/acme_rockets_rt0_typed/rt0.pl	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/acme_rockets_rt0_typed/rt0.pl	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+
+% principal ID (Acme)
+isPrincipal(acme).
+% principal ID (Coyote)
+isPrincipal(coyote).
+
+%Acme.buy_rockets <- Acme.preferred_customer
+isMember(Z, role(acme, buy_rockets, ["cert2", C] )) :- 
+           isMember(Z, role(acme, preferred_customer, [C])). 
+
+%Acme.preferred_customer <- Coyote
+isMember(coyote, role(acme, preferred_customer, ["cert1"])).
+
+%--role preferred_customer --principal coyote
+%isMember(coyote, role(acme, preferred_customer, C)).
+%isMember(coyote, role(acme, buy_rockets, C)).
+
+
+
Index: examples/evaluator_rt1_typed/ISI_ID.pem
===================================================================
--- examples/evaluator_rt1_typed/ISI_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/evaluator_rt1_typed/ISI_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDATCCAemgAwIBAgIIZvEQb8f2kLEwDQYJKoZIhvcNAQEFBQAwDjEMMAoGA1UE
+AxMDSVNJMB4XDTEyMDExNzIyMjQzNVoXDTE1MDEwMTIyMjQzNVowDjEMMAoGA1UE
+AxMDSVNJMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzASsGuW0bqY2
+f1EiKGymfseXWU75ivGujV+SFS/b8BSOlUM4PI7mkLD239rBO2U6V34khIdM17JC
+72sxgV9BlkHzrcViS0t6NfdDayu4tGeCq71XwfKTDCQnbpoRCsfpTGxGf4pL2KBS
+q6DH3Si6+E3OlXLj9sZcbbRyHpFoplvHiR+dVlyMtazySj0e8n4OOaLRa738vo//
+skRceUi8EVoRelDJNODycdEGWEPt7N6AbznluzJFPN2fM0g9VqGIjbM2s82X607w
+5+aGUbQ7rXAztiEquUHljJdnQG9XU/oOcO2Yk00my/kffIc6QT7CUk3lZGfOnFaa
+UyvstJmGtwIDAQABo2MwYTAPBgNVHRMBAf8EBTADAQH/MA4GA1UdDwEB/wQEAwIB
+BjAdBgNVHQ4EFgQUZJ6N4MblIU3XVwc5i8KERpbe2/YwHwYDVR0jBBgwFoAUZJ6N
+4MblIU3XVwc5i8KERpbe2/YwDQYJKoZIhvcNAQEFBQADggEBALjKnsiw1Zz787Jq
+TB/DKXjQYXbL8lLSHYTCD3Mc0/CnccHdDjmy8IEzneUnsPejriWSP8cGJ+H2k/Sc
+RBOLc5rSy5mdH8BJXg+H3v4FO52rOi8mQ4wIaT9qwQsnYgZnmbghLKa8cbfuGTL2
+HpocmfJ+IJWDvm+amyGrCqYBVJT7w5RWx19mHodQ5FaPZufbVWkOYpU74cam1mSM
+JWlt4Zwy9mF01ayRhK7nMmVONMfm3+vQud5vEwyivPE02CXZGAAnt9GqmWN1IJhr
+PcCC1fZub/CyRU5nebqDT+4jvm5vRZpPPdFfzSUcpt0iuGwi/Dxo99PD4naWSAnv
+xcS6lb4=
+-----END CERTIFICATE-----
Index: examples/evaluator_rt1_typed/ISI_private.pem
===================================================================
--- examples/evaluator_rt1_typed/ISI_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/evaluator_rt1_typed/ISI_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEowIBAAKCAQEAzASsGuW0bqY2f1EiKGymfseXWU75ivGujV+SFS/b8BSOlUM4
+PI7mkLD239rBO2U6V34khIdM17JC72sxgV9BlkHzrcViS0t6NfdDayu4tGeCq71X
+wfKTDCQnbpoRCsfpTGxGf4pL2KBSq6DH3Si6+E3OlXLj9sZcbbRyHpFoplvHiR+d
+VlyMtazySj0e8n4OOaLRa738vo//skRceUi8EVoRelDJNODycdEGWEPt7N6Abznl
+uzJFPN2fM0g9VqGIjbM2s82X607w5+aGUbQ7rXAztiEquUHljJdnQG9XU/oOcO2Y
+k00my/kffIc6QT7CUk3lZGfOnFaaUyvstJmGtwIDAQABAoIBAFB1j0JUUOJKXre7
+UZNLtiXNpRytjrCDO+m5RS1h4IVANjMbfXQ0jy2E/PevmAFKnMWgk9pIWb+/J7Kw
+Pafd30nY3LctXuR+8cWSrF35sjBDmj8Mvy1X8zIYmAyAajQsPw/Kq8rkyaC3KaNS
+F0BbLdF7Lfu2gbzy4cTKIy92/SSN3EAyWxa4nY4k/sMJ9f4nDU7Fp5XEpk60Fljd
+6NlF2CFfY0oiSGaQhK08lv7uVY7cQ8k4ECG7llBUz+w3/LfSTgDfaZ75Ion4GuRq
+q2lCiU7mTeT7HrLfxdMVokU1LAjDfpB7WEG27af4C78MIVUhddWZFT6hWOXBNbrK
+LcKz+DECgYEA/uB82isg5MnedxOQxDQEuYWRmyW3W8x/NGu2AzyVQkaFxkXwFNds
+SpznsxzbtYRerHVFufrKJ/qbpk9OZ6GPSmqTfOVKFyMxWPJFtkbyudu5IY6EnIND
+FGOp11YV4eNOigeWWqaItFK+wZS+t3+8vIS4UlR7TVdR4xCuDbzzdTsCgYEAzOrQ
+VOXSrpHTYpcAGXNJN/YaYV1/fI/JOzDNcfKlUVlJAXAv8p5NqG2rvBHGHPrVvG2G
+VTcWy5WgFdeOYMXcFbvSiuTFsSBILQCHHwsnEMVqy8Ii8oHXgf33WsIAswJVv4YQ
+z7GLa+NKsVpDrvBPa1Y422PZ98KNEhtUNLHcrLUCgYB6Ma4p+ptelNmvRRYWusm5
+GCxisYZi4Hvr6eftTVJR3/WqxUUA+PbWHruGx8MeF0Q8ckzniTD6Uc/lwAfa7z3/
+c3EaY+NNjHXQKvb5GLKuIIV1bRpu3w996vo2XvNGxO+WhWS0OTs5GKKTtHhrCTa3
+OvoTnqUuwzpjHlAUDg66mQKBgQCISqFX5ifzjfAfgblCNCh9vQUcvzgc2/GGmdX7
+NNz5tz3UZA6v+tRB8venNdcjzT29fsc7BFH4BEOeY2lCOjdAiVTmpnRKc+Mtc01r
+u1o3UGbQsQXXb76rqgQL7D7U0PfBU+T4jujhUCKMxTGBODpKdOWKHeaKYG69nUmr
+ZqUUhQKBgELe3SA14ogS2tPqziTcCx1baaHsa0AmQu5NrTGKw1eGLpbllmQAUmwJ
+NI+vIbvpxp0QK8Ck7mZlvYHtLkM0f9H7rih9LLMNAWKYVVmNrh5Ja0T7UUp5f5jQ
+4ulqlfv9XkhII9erF29P7AQhD04d8ptOycIxhgFeEQmSGk3PICnz
+-----END RSA PRIVATE KEY-----
Index: examples/evaluator_rt1_typed/John_ID.pem
===================================================================
--- examples/evaluator_rt1_typed/John_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/evaluator_rt1_typed/John_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDAzCCAeugAwIBAgIIL1XKhWx8ILQwDQYJKoZIhvcNAQEFBQAwDzENMAsGA1UE
+AxMESm9objAeFw0xMjAxMTcyMjI0MzlaFw0xNTAxMDEyMjI0MzlaMA8xDTALBgNV
+BAMTBEpvaG4wggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQCztyKS8eeZ
+p0qrrTv3101EaJRVY/SokeWrdrDAUER2nL9ZhIVrR3IO1Me/6DwwqPo5+i/FYM6f
+NBlwpIHMUsA66o1LMYOw0vdG0dKA7Gn4T5Xk99noyzszProFazQ+zaQ/M39rPiPJ
+HPuTIlYvuiO9w1dx1TKirGPqHk6OsqBauI+vUwMIfN6RDxjhGldpWz+djDWlGe34
+JvnpEC0hDQOYyMQNKHWEdBHMMtWAL1Ml4PZgByexr0e2/yEV5OoR5AugXjJSow3W
+uzXYHZOQIfMtdyfWjNRaq+C4BnRR9YMf65zky+nnEf9HkG3GTA9R1pt2cUnYNaZW
+1vKoDilJdaeFAgMBAAGjYzBhMA8GA1UdEwEB/wQFMAMBAf8wDgYDVR0PAQH/BAQD
+AgEGMB0GA1UdDgQWBBTCMcXRcbNvVxooMjHraj48xNyBHTAfBgNVHSMEGDAWgBTC
+McXRcbNvVxooMjHraj48xNyBHTANBgkqhkiG9w0BAQUFAAOCAQEAP+DKV5LIGD9c
+d8Fwg2DApaz05AA1SeWvRmk4xPv3z1Sc4Ropij7n+5v1Sg9UR+1m7N+rpqz/MrF4
+LT3EHQl0EALh0pQ1tYwMJv5/mX6pLDyXzOwRneV2h3ic+hlb7pjtxPkB485adoXO
+X1Hu/Yc4eArok0zv8BcQKOCAzlFFerYDp7xbKUIhEkXzt4+SNNZIvVm9/V104dx1
+3Ez84TLsr2BQNzwElYpVMnVejmCROlRx/Q+UJGQXynU7qMEMBJzqEAdj16L5Xys/
+eNMGVM9Ak5Cgr2hr/6DuQBYyp0v7s4DcWwKiQw2KP5wNgnQ/hddNvzmLgDwrdbfK
+SqLRBGfr+g==
+-----END CERTIFICATE-----
Index: examples/evaluator_rt1_typed/John_private.pem
===================================================================
--- examples/evaluator_rt1_typed/John_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/evaluator_rt1_typed/John_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEowIBAAKCAQEAs7cikvHnmadKq60799dNRGiUVWP0qJHlq3awwFBEdpy/WYSF
+a0dyDtTHv+g8MKj6OfovxWDOnzQZcKSBzFLAOuqNSzGDsNL3RtHSgOxp+E+V5PfZ
+6Ms7Mz66BWs0Ps2kPzN/az4jyRz7kyJWL7ojvcNXcdUyoqxj6h5OjrKgWriPr1MD
+CHzekQ8Y4RpXaVs/nYw1pRnt+Cb56RAtIQ0DmMjEDSh1hHQRzDLVgC9TJeD2YAcn
+sa9Htv8hFeTqEeQLoF4yUqMN1rs12B2TkCHzLXcn1ozUWqvguAZ0UfWDH+uc5Mvp
+5xH/R5BtxkwPUdabdnFJ2DWmVtbyqA4pSXWnhQIDAQABAoIBAQCl0hauq1HdLsTx
+PviUKC59LlmfqIj4eRYHbY6NBAMHxn2wZVyNrfCJyr88TVYsN94aXMRzRG2h6/qF
+OuUg2EHSmtUgSmGOaDoNOFEY8AqfOR+/kwmXiN3o3Lnbgh1EzY39WtD47O8sA/gE
+vKv1gbS0xWcL+4GrI5FVVf16IUtgKFkQdFhZWNUE4Q4chkAUUykzw3Z8CSK5yGdC
+tyw4rdqCWBfmEmvY22e7yEh750A4mlcrs3mV/vPoEIlKWKis9CAUVIDaaPXGomN9
+orrL5c1AVFDX4nkRySTaRBcTryLeA3iQCF5ilPgAGK/bVbqQuiQ1aLktkGQ4W6PA
+NwoSxxDBAoGBAO8j+dbVmojdzwjU5dP80/bNGSa5UtsG0FdPQBZnApnKqjeppRhc
+AEahAEA7VCFjUkO7XEFV++t0vkrYFAt8zGnI8AjK9+nlzWrBE7l3sK2VBMMh2hFr
+Cq+snQqq8k41gjxqM+3Qa0u5vj/y1Y4tZQQIbCZubJcfJtQ1uIeRDa4ZAoGBAMBi
+pmFBHLaW4q0E8ocFHZnqcuV3+djwmNWTcZ5PPvixjJFTBJ8gph54edTy1DePfZHt
+MXgRtrA2niM4QwJFwMgecvmV/K1JQ7UgYGzeUF08Ha85IAyw6eL5CMxncPqoZJcv
+svV2l/U2DJFUiSY0awAO+VU03CUeVp0dGizXr9pNAoGAae6u0qrmfLB88LWWZXR+
+1Ln/5TZ87Ic1LSfvBL122nd7NZMRjhvbB250dP+TAgNEQrqxYEPdh2y8itzy7C/J
+QScApXR7o4Hnn92Nhj/t5Ma5SFMrjUG0hyNYoYweL+TmHysQe80yamYKT7ubPBMB
+x2qPtep+cecbxS9S4cKwo6kCgYAzpoia1btavhmvcAOZAmOXHh2ow9Q9TSMLPCGl
+6gqzBCAEKDC2dDKFPb0f0e3t2MVSt0avwLm2h4NfW0yKQKXoVFxz67PB5kiaSU36
+DJmw3mHt2D1lit3QRSH6ls77TNhsyq6WPje/6rnnDrYfnrUXd+2y1ZVBFesVFWog
+neulhQKBgFYaNvcRSRbbl49YyYfcNDqAxFV7PvE/600QXVxqP667f0GFqbZcZjDt
+2GEruwzSYuCYsProXw/4l7JY6wPHGH+U/uFEJIhtWdzjCyIicbz5m8SbZZ/p8mbG
+hcC0/p1e47okr0C4P3QP1cEQBoMXZa8mcScSExjxUTvNqY8FCA8D
+-----END RSA PRIVATE KEY-----
Index: examples/evaluator_rt1_typed/Maryann_ID.pem
===================================================================
--- examples/evaluator_rt1_typed/Maryann_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/evaluator_rt1_typed/Maryann_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDCjCCAfKgAwIBAgIJALbP2vCmtPtUMA0GCSqGSIb3DQEBBQUAMBIxEDAOBgNV
+BAMTB01hcnlhbm4wHhcNMTIwMTE3MjIyNDM4WhcNMTUwMTAxMjIyNDM4WjASMRAw
+DgYDVQQDEwdNYXJ5YW5uMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA
+wiQhSwuKZ6H4f1uOg5zxi2FnF6b2IhiWNrbjorG7nJMt16hSLWE2IYgY5WN+2cE2
+gFlnFwrbGFxV79Tb3TaD5vEgm7t8N8px8XLhmVp//j7DWVRLezcDiuVODx8lpQ/t
+b6lHGOnfs2DWBB7f9SpOJReaR2laEWvii6O6+2ntgoOMDU6r5CjUJYYnJ+80lC8D
+EMF2ttAvE1IvVe4fKqJaWRcYqaHeZkKDm9POkNxzHY4j63UNo9M1B1HaT16pIcyt
+KUjetHMrFRv508ArZR48uozsEWTJO6R5QBJEKlQRVcxUVAw3rdgkxgWys+EMF9bu
+szJykOnzUGyicR8thiLUwwIDAQABo2MwYTAPBgNVHRMBAf8EBTADAQH/MA4GA1Ud
+DwEB/wQEAwIBBjAdBgNVHQ4EFgQUcebf8sMmL3sO0y6Di8KUpkpgGFswHwYDVR0j
+BBgwFoAUcebf8sMmL3sO0y6Di8KUpkpgGFswDQYJKoZIhvcNAQEFBQADggEBABHj
+LcLkliYszcnZCneHKvfeMSt/W3gWM2fGZxrGBg/q+7twrfl9ohWE30dZWE9Rmo9+
+Qwyj7QVmC9LiHJEjtBlqvh1PFiHvAtsy9Ar8YFuESMJ7wrbrDgOaD1mXuAH/xW2f
+4iM9nbAamEZlL4NJH2k2mihLvZMWIb027EC9fSVDXAQwB9ZZ90OVAmBZWlGqcPLy
+IiG9AZBWMj67CZmhv8ZOjfPtEWfLtYEtM3ExrfrL9ZhSfBcUa6pf3/Qijz/32QlT
+tm+aeEPKqI/R57PVhYfLqlbres+fDmyngYmF6kUQIcFNFr6mDUSylV8l925rD+sN
+mSv4+SBdXr0Ly6bVLaI=
+-----END CERTIFICATE-----
Index: examples/evaluator_rt1_typed/Maryann_private.pem
===================================================================
--- examples/evaluator_rt1_typed/Maryann_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/evaluator_rt1_typed/Maryann_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEpAIBAAKCAQEAwiQhSwuKZ6H4f1uOg5zxi2FnF6b2IhiWNrbjorG7nJMt16hS
+LWE2IYgY5WN+2cE2gFlnFwrbGFxV79Tb3TaD5vEgm7t8N8px8XLhmVp//j7DWVRL
+ezcDiuVODx8lpQ/tb6lHGOnfs2DWBB7f9SpOJReaR2laEWvii6O6+2ntgoOMDU6r
+5CjUJYYnJ+80lC8DEMF2ttAvE1IvVe4fKqJaWRcYqaHeZkKDm9POkNxzHY4j63UN
+o9M1B1HaT16pIcytKUjetHMrFRv508ArZR48uozsEWTJO6R5QBJEKlQRVcxUVAw3
+rdgkxgWys+EMF9buszJykOnzUGyicR8thiLUwwIDAQABAoIBAQCI5z+PEyFTuTVq
+Yh8akqcGufYgCL4TBzGOfeQCi8EYRfWS2YCxvZaViMq9oC8I0aZkVidLaX1dLWfw
+izNMSLA1QB7Vkx2iniFBudh68wXFPW82ZCoiRoY6AT/NjBJY1uWB02ZunCYC8aua
+FkeqNF4M7BsAdrtsA58rB5fIyUcSvAIvUZxZQoP06bWL47vjYI/T3UAKQdfzOb0X
+JEqAVOHjTu3O9r9RW6zZZbkaqxEyYqV1Nxku5s7LxFmyUuG+YBaxupM2CtW70IFL
+2WYbmgO/AmXavtlsdzcfqrYJxfwaqDe1W7DEAJgnOHPwmJbKJoaIUTV5z8ij1ONa
+iTNMx8ExAoGBAPznNiSRq3FQs41zhJfi/OxnBLq6MWwm6IUV8uaI9czFsLkxk2Iz
+gNYdTfx/pnOukSduH4Dg/wrf3hLfxpb6G6EqTG1uSvkRhskJVVsUGNvANybew748
+sNdiSoRq0OI5nRO8rwq8T78BBohLi/lN+CQF0joJe89S70CBS0SiN+hrAoGBAMSE
+ttVVUjYavIHMmuqO0OwL8CD0cHC/R7DK45CSCM3DssPgGq5iTPaDY32XH4rHQh4y
+eP5pUwoBlxQfySYjtxyudwcys+BT1dE61BgsMeQTtbv/A+htwyvGKVevAU9Ek1iO
+hsq19JGTVr8/viQmdsPQnOqXMCzYG4NA52GhkTsJAoGBAMk4bavK+029mB8Duove
+3r55eRnY61nR20+Ilys17dxvrpyrBUktEWVLC7HLHvUMABIPXKF+Y26TkG4T/j5B
+4ZnpvcWT67Mgbs2lz3QYGW8/EKKsu7GxOEMmwYN6OZjFnmUFy4APNKQUfM4Uzdoe
+X0DKIOpsgUYEBricJvcE2tbhAoGAYyhDyKjgboRXEXdXw3qEWFY9t6MfCQS6+62j
+3VKSNqDEFqmBTPQ0uT3aeYhDVhbseagl/NjQGYBr5q+TIzdqMYKmdG9U65/hh00T
+r469LcP0MwOdyS15CSFXwvJ+yqxjXI+t26Kr4LhjUOSs4Di4PF2Kj6Pxnu78EuIw
+3cZULWECgYAHaRV5YfcP6AwuX5FKTfwPnepLlKhT8j+j/IBcE/dLT4KIICliAWeN
+c2veprOUriwdkunD7XI47bgfoDU4LmCJQDMMc+JwBzokT+v8a2nAX38PH+rdN2rC
++5nFqL9wj4+417Rj/o829abC1Qs1TEySom2bRoBmDt9NPKP3/eJm9Q==
+-----END RSA PRIVATE KEY-----
Index: examples/evaluator_rt1_typed/README
===================================================================
--- examples/evaluator_rt1_typed/README	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/evaluator_rt1_typed/README	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,54 @@
+#!/bin/sh
+
+rm -rf *.pem *.der
+
+#[keyid:USC].role:employee <-?- [keyid:John]
+#[keyid:USC].role:evaluatorOf([keyid:Maryann])<-?- [keyid:John]
+
+creddy --generate --cn ISI
+creddy --generate --cn USC
+creddy --generate --cn Maryann
+creddy --generate --cn John
+
+isi_keyid=`creddy --keyid --cert ISI_ID.pem`
+usc_keyid=`creddy --keyid --cert USC_ID.pem`
+maryann_keyid=`creddy --keyid --cert Maryann_ID.pem`
+john_keyid=`creddy --keyid --cert John_ID.pem`
+
+managerof_maryann="managerOf([keyid:$maryann_keyid])"
+
+#[keyid:USC].role.evaluatorOf([principal:?this)<-[keyid:USC].role:managerOf([principal:?this])
+creddy --attribute \
+       --issuer USC_ID.pem --key USC_private.pem --role 'evaluatorOf([principal?this])' \
+       --subject-cert USC_ID.pem --subject-role 'managerOf([principal:?this])' \
+       --out USC_evaluatorof_this__USC_managerof_attr.der
+
+#[keyid:USC].role:managerOf([principal:?this])<-[keyid:USC].role:employee
+creddy --attribute \
+       --issuer USC_ID.pem --key USC_private.pem --role 'managerOf([principal:?this])' \
+       --subject-cert USC_ID.pem --subject-role 'employee' \
+       --out USC_managerof_this__USC_employee_attr.der
+
+#[keyid:ISI].role:managerOf([keyid:Maryann]) <- [keyid:John]
+creddy --attribute \
+       --issuer ISI_ID.pem --key ISI_private.pem --role $managerof_maryann \
+       --subject-cert John_ID.pem \
+       --out ISI_preferred_customer__John_attr.der
+
+#[keyid:USC].role:employee <- [keyid:ISI].role:employee
+creddy --attribute \
+       --issuer USC_ID.pem --key USC_private.pem --role employee \
+       --subject-cert ISI_ID.pem --subject-role  employee \
+       --out USC_employee__ISI_employee_attr.der
+
+#[keyid:ISI].role:employee  <- [keyid:Maryann]
+creddy --attribute \
+       --issuer ISI_ID.pem --key ISI_private.pem --role employee \
+       --subject-cert Maryann_ID.pem \
+       --out ISI_employee__Maryann_attr.der
+
+#[keyid:ISI].role:employee <- [keyid:John]
+creddy --attribute \
+       --issuer ISI_ID.pem --key ISI_private.pem --role employee \
+       --subject-cert John_ID.pem \
+       --out ISI_employee__John_attr.der
Index: examples/evaluator_rt1_typed/USC_ID.pem
===================================================================
--- examples/evaluator_rt1_typed/USC_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/evaluator_rt1_typed/USC_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDATCCAemgAwIBAgIIZC1dr+NobHwwDQYJKoZIhvcNAQEFBQAwDjEMMAoGA1UE
+AxMDVVNDMB4XDTEyMDExNzIyMjQzNVoXDTE1MDEwMTIyMjQzNVowDjEMMAoGA1UE
+AxMDVVNDMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqyol+Zlbx7y1
+c/ciEjxpp3tHds3+4shCWgwKcUh0PWb7ULlOCeKFIYYnG+r+h1ZHzCqCcSSL0AYs
+zw/soUWwnB3L84/smshFo/ha8SmW9Tww1jCLR6pz4ICsw52WKVI0PhH5dJxzdOYH
+ipeaZGCOSsNAbaeQZNiMy/j6Ci9SLYRwW1h0WayPejbXxlVslhPLZgiQV7suGcPy
+dh2VpRW96zy/RomYDrLauh33j4KT5wMr146PDn/lsehc5znIp3aI4U6DANFwh4BR
+CxkxopF+EP1ThsQVuJ/0Lz6kDvk51szVp+6xCJMrZ9cCCpW9fQfnvLm5zcWuNA3J
+UQqKDGkO3QIDAQABo2MwYTAPBgNVHRMBAf8EBTADAQH/MA4GA1UdDwEB/wQEAwIB
+BjAdBgNVHQ4EFgQUj76loHGOyGwOqV+1wDlGyqLi6wswHwYDVR0jBBgwFoAUj76l
+oHGOyGwOqV+1wDlGyqLi6wswDQYJKoZIhvcNAQEFBQADggEBAFCjCniNsX4kyJSi
+xcMoe+9wB0AnoVDevkewuco6NbDlDXs+TV2Lqb0Iyp1s+aim0DLpVgvPW/+JVyLO
+B0wZx+cRi3PSFJqDoQq9r/zoflwwGtB0dbS6qfOF6WCuVAzra1iH3gHExh83TFlL
+F+nQ7er6QmTKAnAV6S6GuFZE3iWAkEgee0uEkEguWwcc5QNIR+MqPtTZ167TIWGI
+R0GaQU9tXnEOb0iBjWi3KQQ76Z0NFT8o7B7jqwohaDPQCFuxbZDZa6zoZBo5cEU/
+hirXHmgEVN5R3O7JezZ0QQrgvoIOE1ckcE+14GEMDexM6i92hYkXLlIe5wnnQqQM
+oWKFZ7U=
+-----END CERTIFICATE-----
Index: examples/evaluator_rt1_typed/USC_private.pem
===================================================================
--- examples/evaluator_rt1_typed/USC_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/evaluator_rt1_typed/USC_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEpAIBAAKCAQEAqyol+Zlbx7y1c/ciEjxpp3tHds3+4shCWgwKcUh0PWb7ULlO
+CeKFIYYnG+r+h1ZHzCqCcSSL0AYszw/soUWwnB3L84/smshFo/ha8SmW9Tww1jCL
+R6pz4ICsw52WKVI0PhH5dJxzdOYHipeaZGCOSsNAbaeQZNiMy/j6Ci9SLYRwW1h0
+WayPejbXxlVslhPLZgiQV7suGcPydh2VpRW96zy/RomYDrLauh33j4KT5wMr146P
+Dn/lsehc5znIp3aI4U6DANFwh4BRCxkxopF+EP1ThsQVuJ/0Lz6kDvk51szVp+6x
+CJMrZ9cCCpW9fQfnvLm5zcWuNA3JUQqKDGkO3QIDAQABAoIBAHZuaWw0wp6HYf3l
+R3vatTgfQqlfizcbXV206xzLBzLdKJMIRIjuZTN3AWR9yrOV7YPE/hCPOvYq76It
+4IsOD09WBqJ2OT43yIfV9gbbwgnZJeluGVDzDc6O+fs39IiOynsQMMyQ3ApMh3dL
+wpYlgQ8V3mSBBpXgiDsyAMA/UdsPoBHJT703NzXpGsHBPWzoKxIE0pKlCV0o72T4
+jfb97uWFZoKOzoQt32QQZMOlHLo2/6BrX8dVveTd1bcKfwqIxDMX474Uk+Sae5sU
+uuZHJ6rgO1AHmolwDN2jsCn6ZEDDftONY1F0oT43nLgIfJoYm+Fa6Gny5jJFONvR
+K6PnszkCgYEA3YcOE70I+q0v4pLWMEBls5CLneQty22XvG+6mK+svfxnxJ4ke6z7
+PVyvE/gOismIRIB1Vtn1lRNqXYfVULpatfIF0fpVa32ma+Lz5hq2RsJYdr/v2udj
+/sKXs/Fi5mXrqiHdV6RzT7enCAryrIUji0nsEg/2pW6F79atuez0UgcCgYEAxczL
+/TEkxSGSdxZpWN26JugEY99CTOzP0F95AA4PFEJ/DgK/xW+L5gXOIoncEYT5f7Qq
+DaJhqRd3D8YA539oIqwaKwNYAGzTW0NDwhdl5FdOAuHX1vRESiozn9x93lAxk0U7
+3bSEMm6SH6UID3O5d4Y97xKqCHAEJTY+d0eNzvsCgYBPWZgWQ+kaebykSPqF8Bs9
+1bHdDaXFr2zhp5fMJ2kV6Hp2+DqTPmQEF9XyrjDvT78K4oSlZo9MJdc8x3IGZ6ok
+cBvbmfLM/QYGsRWyP7E46VZsutW8sJOl5qgWYYmOg8WFfHnfcd2IGX2wKNPCLjKM
+Kx9vXN55ZXx+a4RxC8p8MwKBgQCnhyxilsPw3t1hVa8GIE2w9CP7vrU12ACvGJ2w
+KTgmTae04ykvfKl9uf78C81DXV/ABIT1pUmX4JLr3iUX7TXy39cOBTf8rC9bBZ6W
+/iBDhJpDIKshmSNZuWKeDC7jIwLKHAJ3ZZPt7u5+NNWd2MMF88HzAdjXaqBoMAg6
+GHWIDwKBgQCjqhvQ+U6JEyfv+YlxYRKbpxl8LwCnhJRgUHaaG2zPXedfY1ksTOwn
+9BhCglc+cx2lSHSVQglTW75Dwm2tVCbGEFz/OWb6pFoZQHBL9hop87G7MXQ7CKH/
+ePVcaJfkH8VIfknR3nM3lQBt4MxpqnNHwt7KVVZEuOZ7FeUnIG8tmw==
+-----END RSA PRIVATE KEY-----
Index: examples/evaluator_rt1_typed/oo
===================================================================
--- examples/evaluator_rt1_typed/oo	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/evaluator_rt1_typed/oo	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,112 @@
+::::::::::::::
+README
+::::::::::::::
+#!/bin/sh
+
+rm -rf *.pem *.der
+
+#[keyid:USC].role:employee <-?- [keyid:John]
+#[keyid:USC].role:evaluatorOf([keyid:Maryann])<-?- [keyid:John]
+
+creddy --generate --cn ISI
+creddy --generate --cn USC
+creddy --generate --cn Maryann
+creddy --generate --cn John
+
+isi_keyid=`creddy --keyid --cert ISI_ID.pem`
+usc_keyid=`creddy --keyid --cert USC_ID.pem`
+maryann_keyid=`creddy --keyid --cert Maryann_ID.pem`
+john_keyid=`creddy --keyid --cert John_ID.pem`
+
+managerof_maryann="managerOf([keyid:$maryann_keyid])"
+
+#[keyid:USC].role.evaluatorOf([principal:?this)<-[keyid:USC].role:managerOf([principal:?this])
+creddy --attribute \
+       --issuer USC_ID.pem --key USC_private.pem --role 'evaluatorOf([principal?this])' \
+       --subject-cert USC_ID.pem --subject-role 'managerOf([principal:?this])' \
+       --out USC_evaluatorof_this__USC_managerof_attr.der
+
+#[keyid:USC].role:managerOf([principal:?this])<-[keyid:USC].role:employee
+creddy --attribute \
+       --issuer USC_ID.pem --key USC_private.pem --role 'managerOf([principal:?this])' \
+       --subject-cert USC_ID.pem --subject-role 'employee' \
+       --out USC_managerof_this__USC_employee_attr.der
+
+#[keyid:ISI].role:managerOf([keyid:Maryann]) <- [keyid:John]
+creddy --attribute \
+       --issuer ISI_ID.pem --key ISI_private.pem --role $managerof_maryann \
+       --subject-cert John_ID.pem \
+       --out ISI_preferred_customer__John_attr.der
+
+#[keyid:USC].role:employee <- [keyid:ISI].role:employee
+creddy --attribute \
+       --issuer USC_ID.pem --key USC_private.pem --role employee \
+       --subject-cert ISI_ID.pem --subject-role  employee \
+       --out USC_employee__ISI_employee_attr.der
+
+#[keyid:ISI].role:employee  <- [keyid:Maryann]
+creddy --attribute \
+       --issuer ISI_ID.pem --key ISI_private.pem --role employee \
+       --subject-cert Maryann_ID.pem \
+       --out ISI_employee__Maryann_attr.der
+
+#[keyid:ISI].role:employee <- [keyid:John]
+creddy --attribute \
+       --issuer ISI_ID.pem --key ISI_private.pem --role employee \
+       --subject-cert John_ID.pem \
+       --out ISI_employee__John_attr.der
+::::::::::::::
+rr
+::::::::::::::
+
+eloc=/home/mei/Deter/abac/libabac
+keyloc=/home/mei/Deter/abac/examples/evaluator_rt1
+
+isi=`creddy --keyid --cert ISI_ID.pem`
+usc=`creddy --keyid --cert USC_ID.pem`
+maryann=`creddy --keyid --cert Maryann_ID.pem`
+john=`creddy --keyid --cert John_ID.pem`
+
+
+#USC.evaluatorOf(Maryann) <-?- John yap
+echo "===good============ USC.evaluatorOf(Maryann) <- John yap "
+$eloc/abac_prover_yap  --keystore $keyloc --role '$usc.evaluatorOf($maryann)' --principal $john
+
+#USC.employee <-?- John yap
+#echo "===good============ USC.employee <- John yap "
+#$eloc/abac_prover_yap  --keystore $keyloc --role $usc.employee --principal $john
+
+
+::::::::::::::
+rrout1
+::::::::::::::
+Generating key, this will take a while. Create entropy!
+    - move the mouse
+    - generate disk activity (run find)
+Generating key, this will take a while. Create entropy!
+    - move the mouse
+    - generate disk activity (run find)
+Generating key, this will take a while. Create entropy!
+    - move the mouse
+    - generate disk activity (run find)
+Generating key, this will take a while. Create entropy!
+    - move the mouse
+    - generate disk activity (run find)
+
+creddy attribute, rolename is evaluatorOf([principal?this])
+XXX creddy_attribute_bake ([keyid:8fbea5a0718ec86c0ea95fb5c03946caa2e2eb0b].role:evaluatorOf([principal?this]) <- [keyid:8fbea5a0718ec86c0ea95fb5c03946caa2e2eb0b].role:managerOf([principal:?this]))
+
+creddy attribute, rolename is managerOf([principal:?this])
+XXX creddy_attribute_bake ([keyid:8fbea5a0718ec86c0ea95fb5c03946caa2e2eb0b].role:managerOf([principal:?this]) <- [keyid:8fbea5a0718ec86c0ea95fb5c03946caa2e2eb0b].role:employee)
+
+creddy attribute, rolename is managerOf([keyid:71e6dff2c3262f7b0ed32e838bc294a64a60185b])
+XXX creddy_attribute_bake ([keyid:649e8de0c6e5214dd75707398bc2844696dedbf6].role:managerOf([keyid:71e6dff2c3262f7b0ed32e838bc294a64a60185b]) <- [keyid:c231c5d171b36f571a283231eb6a3e3cc4dc811d])
+
+creddy attribute, rolename is employee
+XXX creddy_attribute_bake ([keyid:8fbea5a0718ec86c0ea95fb5c03946caa2e2eb0b].role:employee <- [keyid:649e8de0c6e5214dd75707398bc2844696dedbf6].role:employee)
+
+creddy attribute, rolename is employee
+XXX creddy_attribute_bake ([keyid:649e8de0c6e5214dd75707398bc2844696dedbf6].role:employee <- [keyid:71e6dff2c3262f7b0ed32e838bc294a64a60185b])
+
+creddy attribute, rolename is employee
+XXX creddy_attribute_bake ([keyid:649e8de0c6e5214dd75707398bc2844696dedbf6].role:employee <- [keyid:c231c5d171b36f571a283231eb6a3e3cc4dc811d])
Index: examples/evaluator_rt1_typed/rr
===================================================================
--- examples/evaluator_rt1_typed/rr	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/evaluator_rt1_typed/rr	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+
+eloc=/home/mei/Deter/abac/libabac
+keyloc=/home/mei/Deter/abac/examples/evaluator_rt1_typed
+
+isi=`creddy --keyid --cert ISI_ID.pem`
+usc=`creddy --keyid --cert USC_ID.pem`
+maryann=`creddy --keyid --cert Maryann_ID.pem`
+john=`creddy --keyid --cert John_ID.pem`
+
+
+#USC.evaluatorOf(Maryann) <-?- John yap
+echo "===good============ USC.evaluatorOf(Maryann) <- John yap "
+$eloc/abac_prover_yap  --keystore $keyloc --role '$usc.evaluatorOf($maryann)' --principal $john
+
+#USC.employee <-?- John yap
+#echo "===good============ USC.employee <- John yap "
+#$eloc/abac_prover_yap  --keystore $keyloc --role $usc.employee --principal $john
+
+
Index: examples/evaluator_rt1_typed/rrout1
===================================================================
--- examples/evaluator_rt1_typed/rrout1	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/evaluator_rt1_typed/rrout1	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,30 @@
+Generating key, this will take a while. Create entropy!
+    - move the mouse
+    - generate disk activity (run find)
+Generating key, this will take a while. Create entropy!
+    - move the mouse
+    - generate disk activity (run find)
+Generating key, this will take a while. Create entropy!
+    - move the mouse
+    - generate disk activity (run find)
+Generating key, this will take a while. Create entropy!
+    - move the mouse
+    - generate disk activity (run find)
+
+creddy attribute, rolename is evaluatorOf([principal?this])
+XXX creddy_attribute_bake ([keyid:8fbea5a0718ec86c0ea95fb5c03946caa2e2eb0b].role:evaluatorOf([principal?this]) <- [keyid:8fbea5a0718ec86c0ea95fb5c03946caa2e2eb0b].role:managerOf([principal:?this]))
+
+creddy attribute, rolename is managerOf([principal:?this])
+XXX creddy_attribute_bake ([keyid:8fbea5a0718ec86c0ea95fb5c03946caa2e2eb0b].role:managerOf([principal:?this]) <- [keyid:8fbea5a0718ec86c0ea95fb5c03946caa2e2eb0b].role:employee)
+
+creddy attribute, rolename is managerOf([keyid:71e6dff2c3262f7b0ed32e838bc294a64a60185b])
+XXX creddy_attribute_bake ([keyid:649e8de0c6e5214dd75707398bc2844696dedbf6].role:managerOf([keyid:71e6dff2c3262f7b0ed32e838bc294a64a60185b]) <- [keyid:c231c5d171b36f571a283231eb6a3e3cc4dc811d])
+
+creddy attribute, rolename is employee
+XXX creddy_attribute_bake ([keyid:8fbea5a0718ec86c0ea95fb5c03946caa2e2eb0b].role:employee <- [keyid:649e8de0c6e5214dd75707398bc2844696dedbf6].role:employee)
+
+creddy attribute, rolename is employee
+XXX creddy_attribute_bake ([keyid:649e8de0c6e5214dd75707398bc2844696dedbf6].role:employee <- [keyid:71e6dff2c3262f7b0ed32e838bc294a64a60185b])
+
+creddy attribute, rolename is employee
+XXX creddy_attribute_bake ([keyid:649e8de0c6e5214dd75707398bc2844696dedbf6].role:employee <- [keyid:c231c5d171b36f571a283231eb6a3e3cc4dc811d])
Index: examples/evaluator_rt1_typed/rrout2
===================================================================
--- examples/evaluator_rt1_typed/rrout2	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/evaluator_rt1_typed/rrout2	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,3 @@
+===good============ USC.evaluatorOf(Maryann) <- John yap 
+% Restoring file /usr/local/lib/Yap/startup.yss
+fail, query's call got bad roles.. 
Index: examples/experiment_create/Acme_ID.pem
===================================================================
--- examples/experiment_create/Acme_ID.pem	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,19 +1,0 @@
------BEGIN CERTIFICATE-----
-MIIDAzCCAeugAwIBAgIIEl5kqBUcxyswDQYJKoZIhvcNAQEFBQAwDzENMAsGA1UE
-AxMEQWNtZTAeFw0xMDA3MjIwMjA3MDdaFw0xMzA3MDYwMjA3MDdaMA8xDTALBgNV
-BAMTBEFjbWUwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQDW4ikPH3zx
-SF0R644EJUakL9pEI5cHwC5XvXuf+VEwq/l4yfE8WAMJAeR1yGBEw9teF9bZqjyk
-QUub/bz0z8uzgInZM3/I0Y6KHX72gZZGBr9ytq/VJLK/tUXKGDagWCOstzlWzsXu
-s1GwsDGPMLO7gtuQjiCYEn09RqovyvbJahd0VCSDcB0YWkzJhocqzaSI1VOl/c+o
-o92NsmQGLRdOH0Cx46YYTBmreUecslfFr0oCEKpSQb4hOf5+h2clwy8CSOA5iCC/
-E89GOFpFnyze5IA5l5/WUzIDYwalQ595/Bk4S29jzdKuu6fBtXyE/eL+mkqwxbHf
-vawubDlFcK3LAgMBAAGjYzBhMA8GA1UdEwEB/wQFMAMBAf8wDgYDVR0PAQH/BAQD
-AgEGMB0GA1UdDgQWBBSbR9Nmm5mkzh06AFW+AC6mpYAEGjAfBgNVHSMEGDAWgBSb
-R9Nmm5mkzh06AFW+AC6mpYAEGjANBgkqhkiG9w0BAQUFAAOCAQEAOoB4uuaiHEIN
-MYFNFegOpsl3LYXegTClaGodvZQMG69+fz7Q/gpzXPA6Po8cJJQCTGIHQRa6sb3T
-S18GoKSfHjiGBzMGIFpEoETYemrcb3F06MGHqn/kMsbHYGJ4hEE4UUxCu7Pv7/cy
-NVly+rvAAUxc2N+5/gzILZxZ04WPfa9kI+1hnNQdm+VCl7wBIXWtfnYGmqn89qv9
-IDFyf7e+uGGSP+Vj+gKmbkx75D4EttWnfKoaj4vutxG5eBJsI6VNbVeNFv+wTEx6
-GzDouB8AnJBNWmZ79cBqVG036OemUO9VDS749WhzwLpIdQEcZ94K7s079e655Mci
-3zG02fpiLA==
------END CERTIFICATE-----
Index: examples/experiment_create/Acme_private.pem
===================================================================
--- examples/experiment_create/Acme_private.pem	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,27 +1,0 @@
------BEGIN RSA PRIVATE KEY-----
-MIIEowIAAoIBAQDW4ikPH3zxSF0R644EJUakL9pEI5cHwC5XvXuf+VEwq/l4yfE8
-WAMJAeR1yGBEw9teF9bZqjykQUub/bz0z8uzgInZM3/I0Y6KHX72gZZGBr9ytq/V
-JLK/tUXKGDagWCOstzlWzsXus1GwsDGPMLO7gtuQjiCYEn09RqovyvbJahd0VCSD
-cB0YWkzJhocqzaSI1VOl/c+oo92NsmQGLRdOH0Cx46YYTBmreUecslfFr0oCEKpS
-Qb4hOf5+h2clwy8CSOA5iCC/E89GOFpFnyze5IA5l5/WUzIDYwalQ595/Bk4S29j
-zdKuu6fBtXyE/eL+mkqwxbHfvawubDlFcK3LAgMBAAECggEAWmZs5ZrWol9SID7b
-0SypaltjVLUwTadxF6J0htmJaZN/8Wvrm/pe1IRCS7bPoT5QZGZdEddHicaae3ak
-7s0YolyaIZFD2gUnFT3Rcv0TbkRaeHUYxe+Zb4NgZ+QF3zEVWQ0AB2AX7xLrdAy7
-3MSdaG5l1oukdLWakJPQ9yhI6HR/DEU2Gdvp7TWlsamcLd6fMSk4crA+ECEdH9tB
-T992c1x+2Zxr3PkuluxcX2xwdxV609g38aPPiPcUcyKB7fnlfF8TJRng1tiB+9Gz
-/2u+IbOeS0nexqbU5LpbJXL4gnq+/y5HLrJ4wAi1s1e1NioGdE58k8TVt+0lmMi9
-by+3OQKBgQDzdb29KU7PaWomXNOKk3nHnkOG9nnOzf4VjRQ7IO7I+BqSjkno39Mk
-JdKJquxXRVg5KYREobO9Ymt3iutgOpMbLkiLioMuj0VRtKQtvWlICfODjAOz7nNX
-8pUinYdFdzkjlvgh+bmwjunQgIaG0xtpo8D9l5zNEAS95K6w5430vQKBgQDh85wv
-VZSLBQr+iGmUe1831DKmN9x3CBi6ig132t1dyb+dlSxwilkm/gFojRseos6VrQA0
-A/44onG8s38Cq8DkpeB8wbEEto7tGTWdsqx80Nbzm3rG3NHKAahtLFiL1v+Yny/w
-+NJtekVjJywKAKqsjMjlO4no0yZcQJnGDsjJJwKBgHZF9t1UmgLNNVJZujMSHhFJ
-44hHaTl8fTk/BlsLTrW3QkF8eo91XP+smDFlJdfnykpKzwUAgW85xveWN27SRfDo
-dTnFGqGd3JEq7q+B2wmyO+jmNk5NQx+wq57bZIHsv4d4qibnSLxrUU+HgNMy75hM
-g08vPm+onoUZ+Xvboe0JAoGBAKauqXcZsNzlOXkPdKN+Z32t4jdQWijNJkDl+o2C
-PW8kl2BOXVwgEyh6lNtlzK3K+I7d8ppsn6tz2meUGowD2+ZQn8worseFTOaHhE/z
-MN9ayFcpSWdOGszkcDUpU6DFWARk2l7vj3wHiQxeJ1SxrTZhHQpN46yHp3LCjS3Y
-VjJdAoGBAI/H5AKUXVeHzTq41D9GnkMjNvu2lS0fZLdx55oPM8NrXe6A2hZSgh2a
-hDq31rjUmP3Bv/uJqiXgkVPpACRu3GAsVUVWrgHb861mTggoQa38Se8MAZmmIVve
-pHBxRu/nyve9PAERDvboiGtaDG7B48ihuZhjXJH1jcIhlxQbDap0
------END RSA PRIVATE KEY-----
Index: examples/experiment_create/Alice_ID.pem
===================================================================
--- examples/experiment_create/Alice_ID.pem	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,19 +1,0 @@
------BEGIN CERTIFICATE-----
-MIIDBjCCAe6gAwIBAgIJAJIU5j3t94gxMA0GCSqGSIb3DQEBBQUAMBAxDjAMBgNV
-BAMTBUFsaWNlMB4XDTEwMDcyMjAyMDk1MFoXDTEzMDcwNjAyMDk1MFowEDEOMAwG
-A1UEAxMFQWxpY2UwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQDkXPxk
-6OE6gFs4uy37EBm9JVPPZ5l965gYeDuqtnTTPAQgUhgUYGjo4VXzEBMF3o9W7jcq
-kTPihyPkqy/T1BRqZMJ506JEn9dn+a2FzSCv+US1L954cyZhIKpAwLmAFNCIyPs0
-wKeYQpv4RS6EMwWxFH3SQ+yJjOkYOFptjY+s5KEVF0uhYfSZ7aUldVRCteG4jJ5G
-AknYPckOfClAWP/kI7FerEB2qsbsBVDlNfl3oGLSPStfbpxNYkvaDuA3i9eYa0iC
-GxrL+HbP2rTlLsH5D47+DT6NG4hb3KhOfxJX5oggdr1eT7sqH2B+4Lyo5820MVwp
-Bq5onD1mYfwuczsVAgMBAAGjYzBhMA8GA1UdEwEB/wQFMAMBAf8wDgYDVR0PAQH/
-BAQDAgEGMB0GA1UdDgQWBBQAHzWZuvt1XpeFW57gs0h4MKTsxzAfBgNVHSMEGDAW
-gBQAHzWZuvt1XpeFW57gs0h4MKTsxzANBgkqhkiG9w0BAQUFAAOCAQEAbWhM8XM0
-V4Q3ChCMaTtHTYc+IBDLbqtgS9RJU65RhGp4tZ8QJBSNQGC6WCDN1lYS/P00X4xX
-y5tINtzoK522L/H7neWU9p2LvHO0zxty1bv7qZMqTX9AkT4+Y6R+921lVjNXyf/v
-kugIkMsyDZibiicMeJXQ5/TywSMCXZ6gh/BvR7e81qxdyCGNcX0RnNt+2fCQ53tT
-RiNTQ7g6fYvvnokmCfVtu2kB2y2WYKqxAl08dZsZwRTgqmq+h5ZgeR4VrQm3J8kB
-Ny8W6aOgQI5tIOBlfZuiMDKJ7E2p+z6soWymORRd3bCK80XqVM7jCzi+E6W0CI5y
-PPAVjWOtQ0RDTw==
------END CERTIFICATE-----
Index: examples/experiment_create/Alice_private.pem
===================================================================
--- examples/experiment_create/Alice_private.pem	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,27 +1,0 @@
------BEGIN RSA PRIVATE KEY-----
-MIIEogIAAoIBAQDkXPxk6OE6gFs4uy37EBm9JVPPZ5l965gYeDuqtnTTPAQgUhgU
-YGjo4VXzEBMF3o9W7jcqkTPihyPkqy/T1BRqZMJ506JEn9dn+a2FzSCv+US1L954
-cyZhIKpAwLmAFNCIyPs0wKeYQpv4RS6EMwWxFH3SQ+yJjOkYOFptjY+s5KEVF0uh
-YfSZ7aUldVRCteG4jJ5GAknYPckOfClAWP/kI7FerEB2qsbsBVDlNfl3oGLSPStf
-bpxNYkvaDuA3i9eYa0iCGxrL+HbP2rTlLsH5D47+DT6NG4hb3KhOfxJX5oggdr1e
-T7sqH2B+4Lyo5820MVwpBq5onD1mYfwuczsVAgMBAAECggEADtSou5dengfQZNEB
-l0JTbM14y1Z4fHOjFau+GRC8A5Mfo+DqmWz6QzpaWtL0OVEotyxfWGj3sqi0jXKk
-qrm/EOECurPvRn+olwl7DUTmI432II8MTRkSKNEQELmzeMlhRap8ms9yn78FSOYz
-s16dtwNhEuYmykQX4a/MB6Nfulc7Yujhn2GriY7K5glB9T9OzvBulNnfuAXkwUVf
-zJZ1cZfBHvpLOIO9M68Ag6+eltYtIGCK02nUnLK4lvRNbmck1yT764qYdVYe/5B3
-oLue2rrIIVavUgMm+mwYbV+I0mmX6XBGdnjousKa4GBgb8BNeZ0NGQywILp0LYfS
-69S8HQKBgQD27iji68bNHVkmVnum87ZMMj1C6nyF5epUw31Uodb/AHuQ4DjBW9s3
-5CeFnxBjUJMJAu5yxbYj5O85gGkfIpZst4yEjKaCyLpl/WtGHTYmhqYErjTpBR5m
-y0uwhBk3uzdGrHlWjlD+VqlkEOHV8ti84ZRRgqSWnF0O1EYCnzdTwwKBgQDswD5J
-/okRFgVK7GoFW7i9K8wq9TI451ehPMG6ezjHKBSpj/DwuRLL8mGmTVIE3mhz2C5f
-ogR+zMqqUH/fyXBbQj9h8mSbSe3YRza89f4837jlNi9phLZfxVXXBKKRMvr5VZFo
-FzxK4NqJ3JqWGxMFl5niF6dldZlu1VR/lskARwKBgHxgBTQXMjFKYQcQdIPpKZ9D
-htvXpBUFc3xyYwRn6BTVN2gHqE6sZ8TFJKsHLYf4o7bcRSKGN3Ho9B3wcgJ+t2nX
-Ie35sj0ZwdlxRcExIX9SPvkIjhn4vBFmwJ8OSm1p3TO51/wi/uS83eFLJ5VOFqE8
-tipANYqvA6hef0z+yS1lAoGAMwMFKNpgXD8batZfzcHCn3gVaNgmNx6ZwhMeRvkP
-9dGMCjEKoEOwaiNSqQuV9ZiadwOIknCNeWjU7jekJer4e6FdmNQqm08loWlOwQ5b
-9m/aHgE73AeNaDtT0J2eDZ0neJvYVc5T3mpujC/tWxSAV78fmBiyp+jb44axy0AJ
-FTcCgYEA1KWUGyCZsQ8P2OPNBZwweiC+uIkegr+It7DwSIOcb1CcAZk/EQNmZKQ2
-wxMJ9WdQOwVPR2jN11lUVSpC226fIxmSg1a0pD5iuO2y2EmZGUNsnUcn2eGhml2i
-u4NPEIBIC+09j58LxtPAeACziUhopK776KlF9XSVfmaPeSkhQ24=
------END RSA PRIVATE KEY-----
Index: examples/experiment_create/Bob_ID.pem
===================================================================
--- examples/experiment_create/Bob_ID.pem	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,19 +1,0 @@
------BEGIN CERTIFICATE-----
-MIIDATCCAemgAwIBAgIISfaA/puWrhYwDQYJKoZIhvcNAQEFBQAwDjEMMAoGA1UE
-AxMDQm9iMB4XDTEwMDcyMjAyMTA1OVoXDTEzMDcwNjAyMTA1OVowDjEMMAoGA1UE
-AxMDQm9iMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA65M6fGhw39I0
-rjq5jeDmI0RlEw9QnN1ycBdD33+on1cYM6/vQMSUYAaXww+gaJQP9GgzMv8HmyoM
-yClLRcOuIkfIyaL8Z9ZKh3RQ4XlzZjxBQnLJkJaktxfW0HV8LdiV4Us+ehmXk3B/
-pYzNswN6VMkFgUO5szLfyYh+iH9J0bvSURIzMBmQ0VJjxiG5VIQweEP1PYbkxoZh
-vYa0wx4Is4RddD6GUplkDr5HhKoDFQExB8xvUk1fa3Xfa6wRwRmFJZhes4ZHapED
-JX6mSDgtEZXVOsM+4K2bHXY5HSBP2cE59OWXx62EH7LjwZSghpp0FN9KGc9IABST
-mi9q/KwPPQIDAQABo2MwYTAPBgNVHRMBAf8EBTADAQH/MA4GA1UdDwEB/wQEAwIB
-BjAdBgNVHQ4EFgQUuc2rwnT6ODkMJoKe/taOqlJ7jQAwHwYDVR0jBBgwFoAUuc2r
-wnT6ODkMJoKe/taOqlJ7jQAwDQYJKoZIhvcNAQEFBQADggEBAJXI1pwfqjiLPV45
-TxYTrcUj5GDWvt/+ttm93yj7XceuRnxZfRIN9Of9SX+8smZe5GOw5/Wuus2IGTpd
-XK56YkYBK8HQN8ymog86Veycgspt3LedQSuYaCe6GwUqfEaZ/iqWjLUd7pkKxFfX
-O8pgCsEOdWeu4D2BT+A8kWpqf1uhCpghCONotYVOz44F6uoEOdjZoXXHWjWy/nRg
-p3LSXDkGprZuO6jp3kYdflmvXCyuEawQv3eXuV2f2jKFRwrIXmn8Gis10xgwX+cq
-N4LHHGjqR0a/naXK7PuMn/yC/WRujl2yz4nsPbm98Fu2n6KnbUVd+n6EO/16WzVw
-na6/oLM=
------END CERTIFICATE-----
Index: examples/experiment_create/Bob_private.pem
===================================================================
--- examples/experiment_create/Bob_private.pem	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,27 +1,0 @@
------BEGIN RSA PRIVATE KEY-----
-MIIEowIAAoIBAQDrkzp8aHDf0jSuOrmN4OYjRGUTD1Cc3XJwF0Pff6ifVxgzr+9A
-xJRgBpfDD6BolA/0aDMy/webKgzIKUtFw64iR8jJovxn1kqHdFDheXNmPEFCcsmQ
-lqS3F9bQdXwt2JXhSz56GZeTcH+ljM2zA3pUyQWBQ7mzMt/JiH6If0nRu9JREjMw
-GZDRUmPGIblUhDB4Q/U9huTGhmG9hrTDHgizhF10PoZSmWQOvkeEqgMVATEHzG9S
-TV9rdd9rrBHBGYUlmF6zhkdqkQMlfqZIOC0RldU6wz7grZsddjkdIE/ZwTn05ZfH
-rYQfsuPBlKCGmnQU30oZz0gAFJOaL2r8rA89AgMBAAECggEAKoB1nNx7AOa7+nM9
-5wscemBsm/O3Z5XMf8yywjAWDCl6hFjJobXVzz1hRCAdoMCV4FKsahb5GFWN2M8a
-dYvIbwbkgvyU7WcMK0QhE40F9PwKCiMLmrqTHTV/3DxWGy9oWy1oKD9VyZQSc5vj
-wNhvybw68gd2CY60MXge3CGa/+u6ePsfkHHMgn7UhkJNdZGw2DpPtT9JpHOhOQnr
-ircTme0rsH//0FF0qXrL2YKDUgHmPMjlVMTc6j4y69joygnaF6r9zZCwO3dIuXbX
-++FW329hAjrgLvB/nuTaF3rzjCgQn192XXvwwRtkXmGMui2tqZig8E/5nTt9Qxpd
-vQ0iAQKBgQD2yQ6pP8pMbcJh9IGu/B1+csDzCR5TldMrP1cihlyQy64tCJV3BlbA
-EkPy2XSi1UGnYR45R7A4UbOJD3JQBwSU7wgsMe2f3TraZ5islcW8ZMEv65xXsQBS
-kNl8IPR2abNN+ZpYxlWKw6c1pZVD1w3EjGCy1h0Z2Kb2Zc/FfAvUBQKBgQD0XwQL
-8KBk2959uZMkgJqExeBeXESQapw6B3iQwFYd0PTl/fDCu8c1lv2BnABxeMsjJBnm
-arI/XnR0oI84e6uJ/PLOjcDi30YiJMrseW7qmJpwReNM0ciuaH0FHltqbmrUnF/o
-HxXY3E1hVxsuW9amBcKbOlKzlXo0RYd3RM6r2QKBgHJbbtjM/5B1GCtOIz4UBBLR
-WEoGwq/W8LjMrDMKciCC0d56aNBz9oUgsa36SIsgKUFHxrqiVq1yZrCvoLgm2F+v
-eGkKZeO7n4cPlHb9HFkVk1QCaTtVgSHBj5ZuqvmoN3d9n6Fdnswjp/s7FLUQFYgr
-yK92epu8gnoRabtIpS6FAoGBAI9Pka325fmAQBD3XeWQTg4DhbuQ3NzcyNX3P6uU
-QGyn+JdQv3tUaFVzQSRbep8ROgBX0aChfftPx3gGGTgEvurjnvmnhDEIw7aOYTsh
-U/zcleW19sE8XjZ6LKdt0CqwqpIZSt10LXnKaM7nKJedYFppEmG6aHnM9afmBrXZ
-cmKxAoGBAIQn9bwygYlDafi0haldEd/7uzfCwJtGSbx7HJdKN7/SxSma+zgX71KQ
-ebRcD9pkfISLKWW9oXqpKo/8y6DXxU5U5WwsY1uoh4tPyFS0lZQ4M0GXqU8BgNKL
-10Bwav3QQ9FLqQnBi09Jq1XdTgAJwjYbJyJss95FXN65/AWfkLPf
------END RSA PRIVATE KEY-----
Index: examples/experiment_create/Globotron_ID.pem
===================================================================
--- examples/experiment_create/Globotron_ID.pem	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,19 +1,0 @@
------BEGIN CERTIFICATE-----
-MIIDDjCCAfagAwIBAgIJAIqI9RnJDhLfMA0GCSqGSIb3DQEBBQUAMBQxEjAQBgNV
-BAMTCUdsb2JvdHJvbjAeFw0xMDA3MjIwMjA4NTJaFw0xMzA3MDYwMjA4NTJaMBQx
-EjAQBgNVBAMTCUdsb2JvdHJvbjCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoC
-ggEBANYkX513F3dtOqKSxlMKCYfrAVy+ewna9gGiS6YgCOp0oWKMb8J9Id82bg24
-3mZU/lUuKZKyHnQIAsOh+rEB6YmsuDuVf5P5qIy4FKoegX6LTOiNtyAcaYGZo8Zf
-VkjA0SJAjF87qK0tMPiRTiIP6RTXhWsAUxEeBO5KlOXSLETYhxre6tsfCFAaewTn
-PJqvCMPe7aBJqCurXNCiyEtNwAP6Y3hbqVjrEKQWOHltlXDNjDSvC08aNse4ZCPl
-EetCaLFeeZU4C+euqmo23EDiQF4WptfelrFADtP62iqWou9faD2l+kjfw6U0Y3qG
-ccMjfHSJeu5bqpwHnPEVL+rQz7sCAwEAAaNjMGEwDwYDVR0TAQH/BAUwAwEB/zAO
-BgNVHQ8BAf8EBAMCAQYwHQYDVR0OBBYEFPkj6fadM7Uti739GfLsid3nvu3XMB8G
-A1UdIwQYMBaAFPkj6fadM7Uti739GfLsid3nvu3XMA0GCSqGSIb3DQEBBQUAA4IB
-AQDG/qXUBUfh6UyBxzQECKqs0z3tG7GxJDyF84jh9TM57HJZbzeXwmB6BvCZBi9v
-DXrFsk6ZeafUlU6Fq8BPIEG0zAoHTLdyJTCQyDle6gK/pNaESlUmYUwOXSfwLR2h
-sk3K64ZIZYR3Iu7GcdpKp0ibJP8et0AEA7Y5TIjzTffBirEFNwUS662Vf8eiY+5F
-1flJ/tpqpYGs4qnHexl8b4elb4pd5YM7APQq8Nnxg46t60QR1TcF4F5rtf+2cAtU
-LolfpO4j6eniPcHUJlTaQCwIjzeI+Ur5XHceXjKTH5B7HUDe4oxLQgMfQIarbefL
-+ALHo2e4MSHAGA5fTj/J1Y+Q
------END CERTIFICATE-----
Index: examples/experiment_create/Globotron_private.pem
===================================================================
--- examples/experiment_create/Globotron_private.pem	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,27 +1,0 @@
------BEGIN RSA PRIVATE KEY-----
-MIIEogIAAoIBAQDWJF+ddxd3bTqiksZTCgmH6wFcvnsJ2vYBokumIAjqdKFijG/C
-fSHfNm4NuN5mVP5VLimSsh50CALDofqxAemJrLg7lX+T+aiMuBSqHoF+i0zojbcg
-HGmBmaPGX1ZIwNEiQIxfO6itLTD4kU4iD+kU14VrAFMRHgTuSpTl0ixE2Ica3urb
-HwhQGnsE5zyarwjD3u2gSagrq1zQoshLTcAD+mN4W6lY6xCkFjh5bZVwzYw0rwtP
-GjbHuGQj5RHrQmixXnmVOAvnrqpqNtxA4kBeFqbX3paxQA7T+toqlqLvX2g9pfpI
-38OlNGN6hnHDI3x0iXruW6qcB5zxFS/q0M+7AgMBAAECggEAU8+0pHqh8poLoulz
-Objp9gpiZBwhJ8BNHGKa3RAYrTqsl1eDvkkfYq9472H1mXOWf1wr5UBVbvBbtJnG
-9lRbRQkWqite3VmPQFQjsllyMUbv+OzOSYEVQiYR1Wgm6x6cO52r0vIUmILhccfd
-HrO/c+rOSwy7di2bnHAQSsqxjNfC8VEIHXf0VWd7Md6lFp/jV0qj5g+ZisAUcIla
-UOMqtO0GOrBaLjOBU8hAWlEVmyfji4g61rXYA0HbhA/4MdNBvMbaiS2I81/n42CV
-pYSj8d4hWus5UAr5BDyn73moPI+1rwIcbVi27SMNml2txBqyOcRTyO1/jDsRoVBK
-14erUQKBgQDri9Sw25dNvmt0pIixUmAImrivGthhK2ojc0EI/ijm/A6eMZTc9gFA
-NZVBz/S7ZtQR0vrpofdEICfbf95pyQXe/SqW6mCi9YKB7jlBaKDxNYQPeiSTnrsW
-XT1YMhNqbxKUDgkoSalBDsbwiMLKifYxElVdbDKnIEL0z/6yV9iYHQKBgQDovLsg
-cW1ShMps5xZ5qgcpSeK5ZO5WSaKfODyIC/8QzRQeyNYzGajYheHfdi2KIfPm5T+8
-NIFbMwiSUpcXk//wzV4cHWWhgaTKNzNFEj0uwbZ4DokV0rOCUo3hBhcTJuUwVrz7
-rlHLSX98gvKo+2m2kdM1gk6di5dToWXk1Y3vtwKBgDlmuy9aZDXy+LbVPeaQn4yZ
-P/aUQTT04om/FZM+dPNNa7aLeK6cWNOv+y6togNlXLr3QmRbLynv+Caas7Xt4jtk
-UNO0TFaKJALL7jINcGM32nX3GyDKZuddU4zBr0+Zv9pKzVp/EPskwcBuY6H+Gvv8
-bsc0jeeCii6k3XnSxJrVAoGBAKC6llDVhLZUVqfW/8KOFdwB1r5KYf7dY52p7MPX
-5RLpTlfkQ2mO8vh1nYQBzXlz8UkoUVfcuukM2YKT3xy9bSgT7EZmVuWu7utoK9Qr
-wG0mAqnu/+U+WhJKiQk6d30Wg3larbDytjI6U/zdQlBJMLyRANgXYcuTt7Jd6Eyc
-3yUJAoGAFwupRAbkTJ6xasuRV/HdiJY7cflPB4usLOFjSbSVarCm2F/vJGp6dPY7
-iL4kbSnsT0fpHX7KmSnh5+8Dw/Bdp8P2eNVwMh9toQuqiV7o1QVX7q0lorSnlIU+
-dU+1F5DD9RpEcrw5abI3OTZOcXUEwtMygYFc18QJ11LO+CQvBGA=
------END RSA PRIVATE KEY-----
Index: examples/experiment_create/README
===================================================================
--- examples/experiment_create/README	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,55 +1,0 @@
-Acme runs a testbed. They've delegated the authority to create
-experiments to all their partners. The Globotron company is one such
-partner.
-
-    Acme.experiment_create <- Acme.partner.experiment_create
-    Acme.partner <- Globotron
-
-Globotron has delegated the authority to anyone an admin thinks is a
-'power user'.
-
-    Globotron.experiment_create <- Globotron.admin.power_user
-
-Alice is an admin, and her friend Bob is a power user:
-
-    Globotron.admin <- Alice
-    Alice.power_user <- Bob
-
-From these credentials, it is possible to construct a proof graph
-showing that Acme.experiment_create <- Bob.
-
-Note that there is a one-to-one correspondence with each credential
-above and the attribute certificates below.
-
-creddy --generate --cn Acme
-
-creddy --generate --cn Globotron
-
-creddy --generate --cn Alice
-
-creddy --generate --cn Bob
-
-creddy --attribute \
-       --issuer Acme_ID.pem --key Acme_private.pem --role experiment_create \
-       --subject-cert Acme_ID.pem --subject-role partner.experiment_create \
-       --out Acme_experiment_create__Acme_partner_experiment_create_attr.der
-
-creddy --attribute \
-       --issuer Acme_ID.pem --key Acme_private.pem --role partner \
-       --subject-cert Globotron_ID.pem \
-       --out Acme_partner__Globotron_attr.der 
-
-creddy --attribute \
-       --issuer Globotron_ID.pem --key Globotron_private.pem --role experiment_create \
-       --subject-cert Globotron_ID.pem --subject-role admin.power_user \
-       --out Globotron_experiment_create__Globotron_admin_power_user_attr.der
-
-creddy --attribute \
-       --issuer Globotron_ID.pem --key Globotron_private.pem --role admin \
-       --subject-cert Alice_ID.pem \
-       --out Globotron_admin__Alice_attr.der
-
-creddy --attribute \
-       --issuer Alice_ID.pem --key Alice_private.pem --role power_user \
-       --subject-cert Bob_ID.pem \
-       --out Alice_admin__Bob_attr.der
Index: examples/experiment_create_rt0_typed/Acme_ID.pem
===================================================================
--- examples/experiment_create_rt0_typed/Acme_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/experiment_create_rt0_typed/Acme_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDBDCCAeygAwIBAgIJAJBBJV8SVXRvMA0GCSqGSIb3DQEBBQUAMA8xDTALBgNV
+BAMTBEFjbWUwHhcNMTIwMTE3MjE0MjA4WhcNMTUwMTAxMjE0MjA4WjAPMQ0wCwYD
+VQQDEwRBY21lMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwVYB7jL8
+kKdl7sYCNF1VukdgFHHMnqhMwHec8HHUccmXOp/0QwZOShTjiISJJZuU53HOZnMe
+trgJJTtxA+whFNGm5+rSJI0Ks7og8g1tHzcctE5RhPsDuW9Eq32meGlvXkixUhbP
+DOFlBuVvs2eLM/rMhlZOIVn45EUB216BGxZ/QczSvS4TLBH1Oi2sE6uBeixvGXm8
+/HJaYOP2B/+WPwb72BTklXIVo5d3WlUCGySX1qZpS9ve+9V2IkQfaeckJ3EHe0dI
+pZTT1ml5eEBIghCCXSksIkxsPPGMZL7BF0Ew1TlcD26NoeCrLveG7vD1vn5w2TsT
+bRf+HNc8NLs2XwIDAQABo2MwYTAPBgNVHRMBAf8EBTADAQH/MA4GA1UdDwEB/wQE
+AwIBBjAdBgNVHQ4EFgQUs9ZZTFPB6jy8CqskblRIpN0i/GQwHwYDVR0jBBgwFoAU
+s9ZZTFPB6jy8CqskblRIpN0i/GQwDQYJKoZIhvcNAQEFBQADggEBALJKynnxc98p
+Rem/FHTh6MwtsXiYJJahXRlVi8IM2hykQOQjQvN5toK4VXPfi+/t4JavuSkExQmM
+W2TAFItj0SqdjlXnsYxhpCVoiti7Vl943KGhc+aFk27/orxx66SSZIngExhxKhiN
+4OlZK61vGeEQxVDpWMGwGJ+ypi0ojqSA4rVLweR3oPZ7enl8uGYmpshwN4XP39UZ
+NhxgCMnPd2Uldc4//x1+8xMGgLsd6+ImTd8CUZjRHwrbbe7FvWISve8gk7s95Wlf
+FM2KJJDTTiI2HoLwpZJ2ULzKqgZP/RAO1liwMmw1hrAqBEksKxUz9pU1rFN9TmjJ
+CV9c59CNJuM=
+-----END CERTIFICATE-----
Index: examples/experiment_create_rt0_typed/Acme_private.pem
===================================================================
--- examples/experiment_create_rt0_typed/Acme_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/experiment_create_rt0_typed/Acme_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEpAIBAAKCAQEAwVYB7jL8kKdl7sYCNF1VukdgFHHMnqhMwHec8HHUccmXOp/0
+QwZOShTjiISJJZuU53HOZnMetrgJJTtxA+whFNGm5+rSJI0Ks7og8g1tHzcctE5R
+hPsDuW9Eq32meGlvXkixUhbPDOFlBuVvs2eLM/rMhlZOIVn45EUB216BGxZ/QczS
+vS4TLBH1Oi2sE6uBeixvGXm8/HJaYOP2B/+WPwb72BTklXIVo5d3WlUCGySX1qZp
+S9ve+9V2IkQfaeckJ3EHe0dIpZTT1ml5eEBIghCCXSksIkxsPPGMZL7BF0Ew1Tlc
+D26NoeCrLveG7vD1vn5w2TsTbRf+HNc8NLs2XwIDAQABAoIBABBCs5bdIvDno2MZ
+tEXDM9qe9i3CBHuznAD0DncKm9uWIOoFWf3pIdyJNTneK8rF8xgkMj/bntGvWNWQ
+0kiKK54co/UNgu8gDa5gETVKe8sMT5W6oJCWrBGEkjn6L24hMAS2CHPnBzMGIgEa
+evKT2tlcVqdVyuxzLMPGKgnRQPqOHGWBghLX5cl5nCNtGG6nMevLAddxcLDhcS7l
+rqmmOnQ+HSyjfVQUnxXRihi1Op9JH6f01jj/C46SoQBSqaXhxsM5qVN93WruvPR6
+7iyW6zdLmEffKt5ieb050lSgAr/x+8vMyS98WOSMa9SBnryezDOZdGsZNnzMIlp1
+oaDUpwECgYEA5SE39G22sZaLQkCSZUVUJ31/j1NLrTe4UFrTcdlKL6MXm+XD5lh4
+GtOrpPqE4S0+JlTqJ0WSdC6z5JinuVzCaxdcmiFu9FkqAOUOUUSYmM0Ck9sXFFZg
+nWZxE4T+1IUJG50+t0pdqvWV7KB6b0/53zeOTrAPyZxryy+opHmefW8CgYEA2AI2
+JFTytR6oP+5nFHjmvooCEdHqzeVTBeu8qKAtOMsYjSXucLJL8ic1BYtQ5yEAITOA
+JqFZ7PSZmZMZ5FqjlAv5F6eJhJA37SxwNlfUpz6VkXV2qBKjuI7/kFqf/+TbBVhG
+87ZRhKDmCTIXItlp3BT66FvPcOusnCQsLGxsPhECgYEApqq2H+caaC0gWO3NTzrR
+zvPbsK6fMn2AZXrbqUmsS+BvUOgdylT58FGd3iCYPY8CUTGdLTnPIRHDqvlbr1qI
+1QsmQbsmETk2c3YqJvUlpqghQtmv/QwjtPqKL++iyYWHrX2A3CSM48lF59yHkqZz
+FGo96oDoyvcr9Z1SJ2mL3qMCgYEAi/Xi3uer229h1QrD/5/W4t7JOIKrgX11rgBw
+3VHr+0CdR9esB5l/XAfLcywx35CiZODZyC4D9mUGoVuPC0cvdl3LqGgF0r8ffa2t
+h4ihYTxL7VQO7hglvQ/qx73wrf27bFsmngMkDquyYYLzOsFkthVh/ex/HMuXrBRE
+CwS1ngECgYASxjIR8LyQoMKqS8rOYBOkonHeMj5xvrz9JmdHcsj+0mxgFrk9bf+X
+OqXfV4Po2CPEKpAzWQhFCPkg83kkmdV/jtigSy+gkVFuo83RuWvmSQHbsAkZA0+I
+oeaa11DmdfmDqVxRUtBbpjVSB628xWZ72PU31kahY3cvxRdjD20yjA==
+-----END RSA PRIVATE KEY-----
Index: examples/experiment_create_rt0_typed/Alice_ID.pem
===================================================================
--- examples/experiment_create_rt0_typed/Alice_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/experiment_create_rt0_typed/Alice_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDBTCCAe2gAwIBAgIIYm18ukZtDLswDQYJKoZIhvcNAQEFBQAwEDEOMAwGA1UE
+AxMFQWxpY2UwHhcNMTIwMTE3MjE0MjEwWhcNMTUwMTAxMjE0MjEwWjAQMQ4wDAYD
+VQQDEwVBbGljZTCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBAL7Cew3Y
+gvcJGKQSrmi26A/+JRBsgH4aQXRTjDXeu0IVf8qQTTUFCVtGYOu5Y0kCQtmxLBwR
+XwzL85B7Jk9pGsLXpunC9hAvxiUcQUWcSy40oxatpAPo5l/PwJ7OzJLDsEbGt2li
+EDA5gAqO2cXNCkWcNNJDXRAQOGLUCKGaKunG4zk5l7OFiHYbJ/AYZFGb4KlE0KDH
+/roKEk6B08689MpbRQ19UPIUrpliwXI181wIVEh0EFZNx2VxcLlse7mfTArrt8Qn
+HTk181Xj9Fa/gVM0IONkmMZXQK4JIJ3Q35T27IwFbyZlPKAAlJNcUe0mfmk9ql9c
+On2yzwkpQsJ1HKcCAwEAAaNjMGEwDwYDVR0TAQH/BAUwAwEB/zAOBgNVHQ8BAf8E
+BAMCAQYwHQYDVR0OBBYEFBvBYcwbvGBOqkSwD4Gd46krjfBDMB8GA1UdIwQYMBaA
+FBvBYcwbvGBOqkSwD4Gd46krjfBDMA0GCSqGSIb3DQEBBQUAA4IBAQAZEqiHNc7q
+jU4sEvA7/2J+Yt7f+V7ZgvaIf53FlHHBf6cQc2HGO5jRs4WMPImg90DO13hH84MC
+yoBoXgROy+2+A148yLzWu4cnHvVGMQ1Y7AmXy8bdguYwlVAhpNNJzYHdGb/VA6Xk
+0ixfadZZE0qkyX4NY/oQ0YySZHzd0RykiZXm0+J531uuyjnMgSv40FMcOdijp4IM
+ar4N05yWsyg+VHv6MyEwk4Q/GyMWwARtaD+yacNewSguiBnn7j2piipbrEOnbzJo
+3xHwQC896RjDAgmxomwgGc76fVLK/enx9HhKEE5/VBoLVAwmxkaMXkU2lMaAgvuA
+FEzEM4oKdN7T
+-----END CERTIFICATE-----
Index: examples/experiment_create_rt0_typed/Alice_private.pem
===================================================================
--- examples/experiment_create_rt0_typed/Alice_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/experiment_create_rt0_typed/Alice_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEpAIBAAKCAQEAvsJ7DdiC9wkYpBKuaLboD/4lEGyAfhpBdFOMNd67QhV/ypBN
+NQUJW0Zg67ljSQJC2bEsHBFfDMvzkHsmT2kawtem6cL2EC/GJRxBRZxLLjSjFq2k
+A+jmX8/Ans7MksOwRsa3aWIQMDmACo7Zxc0KRZw00kNdEBA4YtQIoZoq6cbjOTmX
+s4WIdhsn8BhkUZvgqUTQoMf+ugoSToHTzrz0yltFDX1Q8hSumWLBcjXzXAhUSHQQ
+Vk3HZXFwuWx7uZ9MCuu3xCcdOTXzVeP0Vr+BUzQg42SYxldArgkgndDflPbsjAVv
+JmU8oACUk1xR7SZ+aT2qX1w6fbLPCSlCwnUcpwIDAQABAoIBAD/Sw+cbBJ5wjaz/
+jxj78WLAblgzZT5LvJCWD3hKoC55EPuOEjbmC35daroTmdNojUNWkuKFMV8Psdsq
+SOQSz2BXVMIrd7ZstYffDzuiEklQVSyWRiUEvGdcFB9OI4YLMSRNAjqhE7d+1Ycy
+ykvy0Tf/DnE3FqD0PFlchdLDyQ3T5074/x/5rIfj2CWmxl1vDD1HqU3hrJzj1L7Z
+YI4oegIJDsNziwSIlFIqPHbszO1jfiW1uZAzoZpuEBtnXvP+aniY7RomHt1Bs6Y+
+tkgsOtD0noSi85jSSdCrSelgbzT2GpqPpY3W6oGxYleFstdZMSvjEULVaBWzvUDZ
+0ZMJ4IECgYEA+rGGiUP3zlDKgRgIXSPeN7YZnpVGXYcnlIuSYI0bkKH9k6t1KJlA
+P4ujAbTdfGAALTcBXgzy9XQcf5z9/PaGAzmV0w7q+lcoAekTfxvj5peBwaWaO6Jh
+sVk3o7uR1Q/b11kWEuCm2gqQsBY0YRB7/NVJC5lnnsiuEQTxf6x5A0ECgYEAwswu
+mego6B2g4fMCeRoWOypAxqOrEg4vSFz/o4zOWaHnLmfaqnoP1qNh37FINvq4JgbW
+PDSVHbycZh0OdpjRo/0K32gVTgGnATjbGXcGfLnb0yYYoYkvB2wD+dKt5qw5tjDd
+lu8k2nrdplfpdpCRPDQcoQoVZ5CYIRigBAlA7ecCgYEA8y5EGGFTP9KFLcb3Tgpe
+JGLD5V5eXJmfnmvpuTkIVTueNKHsy04l0b6NiDk/ZMfnQ/UIoYgkIk/Y2T2b78ff
+5b71hEADVoY3K+tBW1rdrzCm0QboXxK8e4HVBEIOS8TPd81WKUe88uOuyPExLDsG
+WxM2gUb1CkUW/TFzZmsTFEECgYEAiDaEw6RermjBbh4idZIzR231W7Fo1zhKAdzd
++XxlcrHO2VlPw3OVDa6zqtrpt2A8UoLnXbQbLW8NIi5hRbb4qSYxayT5+NEY+bbL
+JpRfWeoQ+CYkhRhLZXI3mYKjjbCSrn6fBIL3DztpMH86xmiy1hlOh6FodEHczw/M
+HOZnm7MCgYARtBk9VLpkHG1eXrqSdYipIsG5D4gzsFr7ZT9M5/Y9ztJbKCSUTkxD
+66aaKqqd9UUWcDZ8/CVXdKYitpdUzDl8qy35FJdy1mxtw2dg9j2gzIbjx3qS8MBY
+PU18tixm/VrskIH1vwmhBsw0TKd8Qhd8maKYrPkGfP8PUg7imJ5eyQ==
+-----END RSA PRIVATE KEY-----
Index: examples/experiment_create_rt0_typed/Bob_ID.pem
===================================================================
--- examples/experiment_create_rt0_typed/Bob_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/experiment_create_rt0_typed/Bob_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDAjCCAeqgAwIBAgIJAJFC4Ml0MgWXMA0GCSqGSIb3DQEBBQUAMA4xDDAKBgNV
+BAMTA0JvYjAeFw0xMjAxMTcyMTQyMTRaFw0xNTAxMDEyMTQyMTRaMA4xDDAKBgNV
+BAMTA0JvYjCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBAOGFs6tfh/uH
+H0F45KHp7Gp5FB1Gi9KOxRuSNOlGEnGAgIebMGpwo+gCY3Ml/6pou5YOqRgzyuQf
+a1lWHwVFFrhd3PqRPygoo8R2a+4HnYQUaYf5wl+U9DqLkvF1k9AzhQTwDL5U3qKy
+INJJakcYwHPt3414Jr59HDOATZ8HCgBJPkEF6Buz6uVmCuX0XIiBR3iGItn5B4lu
+o5Vy1Cgu6I6i5+qqjpuK61HFZQbDkCcAwi+X3dkJHBP8InBa9kf5XWP6zcTfbRmt
+Jm4BJjfryB2gxKlzoinlYyb0pQrXTiwvG3tl8Yy+SP7zeDbjxPZN2DRz8tZPmL+j
+sUuTRW/HRdECAwEAAaNjMGEwDwYDVR0TAQH/BAUwAwEB/zAOBgNVHQ8BAf8EBAMC
+AQYwHQYDVR0OBBYEFFaJN0nRNqyH011Lc1n4F0iBwik8MB8GA1UdIwQYMBaAFFaJ
+N0nRNqyH011Lc1n4F0iBwik8MA0GCSqGSIb3DQEBBQUAA4IBAQCMaXdsntiJQ5U3
+rsBpY+lVnf6183gqbDW+QM0kPUjCxmvqtlhCduDQDqkWU49o0YlKTecNsJSbfUq2
+Fe6NTiG33i4eXqi5flY5hQcZMTrRT8jks9KYEh14UkVChkuJD3HiL3DjdcBvoT53
+rVaTMuRR9XzX4VFS0CCZlI78iq0D6YllE1B1tZPv9N+J1qUBEjJOvbgXEgBrptXv
+i7b3nTaAWerALp2zzF5MQkhOy1vlMRq0l0kq0nE0mi+MyEhU/a3Sl7ncP5z2yAbV
+82+dUV/I5T7LIFzJEtHkW1EDooqUFyeCM696mBV3ua7Ci4Qc55DPe4TfnvQ1XkID
+NNRkdz5Q
+-----END CERTIFICATE-----
Index: examples/experiment_create_rt0_typed/Bob_private.pem
===================================================================
--- examples/experiment_create_rt0_typed/Bob_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/experiment_create_rt0_typed/Bob_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEpAIBAAKCAQEA4YWzq1+H+4cfQXjkoensankUHUaL0o7FG5I06UYScYCAh5sw
+anCj6AJjcyX/qmi7lg6pGDPK5B9rWVYfBUUWuF3c+pE/KCijxHZr7gedhBRph/nC
+X5T0OouS8XWT0DOFBPAMvlTeorIg0klqRxjAc+3fjXgmvn0cM4BNnwcKAEk+QQXo
+G7Pq5WYK5fRciIFHeIYi2fkHiW6jlXLUKC7ojqLn6qqOm4rrUcVlBsOQJwDCL5fd
+2QkcE/wicFr2R/ldY/rNxN9tGa0mbgEmN+vIHaDEqXOiKeVjJvSlCtdOLC8be2Xx
+jL5I/vN4NuPE9k3YNHPy1k+Yv6OxS5NFb8dF0QIDAQABAoIBACGESWuSyxbqwg5s
+9S3LIkPAsuiW73jflxO96vcwXtVXj8KXod5v1yxIDpeycgjVf+uRSjg6mlDFCqNA
+VWPnHLVR3eGvbH9/ardsEiZSI2rZzcVTrTufW5zH2ZLhMpKi1YYiVwKCgoQTjSUz
+nAPs/c088RiJXti4p1RQITkdRrM76ATu6OyByVqplUy0PQl+t0ChFr6P4HqLdikv
+w7H7hVdObF05vkrsLUoxD8kcz6RoOGbRcekByhWYlpUcXT0zRyInuvrsEJJDp324
+KCFLtEKnxbeAo5Mn/WzwUOuSUt6SMLzW+7UcdCjV/R2nj3kIWaPzVvPIH4j156Dv
+OAj20wECgYEA8NMk0wyJWhtwLBU0m0iubMCx0/fXEgFXmS455dl0uxPAUp6ptMao
+LzGPUp9nR+5f+teDLUTeA+TgD5BS9yYaQnudNjYPWsTE0iykaQsC7W9FsoJtse0c
+6vsRRyxKrLsqcClS+n9hmZgh6FEBJ+44+KBvJFoWhhOPfWpmGb26HskCgYEA77u0
+xbLkmlgg+eE27jNspR4ClVT5gggJ/Exc3QUMnr1V7FtMI54mwCntRH7KIHLgJyVb
+or3qCm19G3OPqYM2JZf35ervTz90Uh3WHpiSFAWdnFEeq0Z3gFjx04RCcodHV44B
+60ZXFGaoMX9cv7XERVbpFIb4ifheM31UdxJHSskCgYEA0t9v/UWa98XS4SboW5i2
+8w+AJyV7s45tT/pERFm3dyCCZVX9MAhLuJdi8mwWGcxHSvRvLrKA3VQKRlaP703z
+7IclUBTiOQ7XcVoZ1MkJlTK8CuVefFAt5CxYIsRL1xhEvtXQjPwBUGcAOdbEdlyI
+klyZNXGVC24RVTZXlO6nDNECgYAtxMhedijuzqR9EGJMV8UGQRR9Lhv0l1RQtsOD
+7tLZ+4vL9CI1Kpx7U4XY7dvpFgV1c8xq5ZcpJn4cH5Pt6P8NblYFrzTBDHxIsSmP
+7dD1wZy1m0cfq/RkrJZ+q2GEPA+Cx7nWETfOzUqPKKGseCdglZcqNBp/PMu/SM43
+bWXvAQKBgQCE2uFPv9G/colNy+vekMBHZjkqxpdGUsiMyG4TSgggXwICO1EkzVnV
+B1g3QoKCXjS9ZedN/XOBILFzR9L3tYqOk9S3h5tFaB4DDfx9wKn0LDOGQpw+aWWM
+3KwO8KCekYQ7m+pXu6+JtHQehUJh69xOualzeT8pnExC/P/7e+Fz1g==
+-----END RSA PRIVATE KEY-----
Index: examples/experiment_create_rt0_typed/Globotron_ID.pem
===================================================================
--- examples/experiment_create_rt0_typed/Globotron_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/experiment_create_rt0_typed/Globotron_ID.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDDTCCAfWgAwIBAgIILK4+AFo9cPwwDQYJKoZIhvcNAQEFBQAwFDESMBAGA1UE
+AxMJR2xvYm90cm9uMB4XDTEyMDExNzIxNDIwOVoXDTE1MDEwMTIxNDIwOVowFDES
+MBAGA1UEAxMJR2xvYm90cm9uMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKC
+AQEA3xbn6YbhTK69FAKwvHKc6rPILG9Xlve3W5L8kEH0de6KmWvzmdiYsfjYIX9V
+qsHi5M4bR5cGuQrY/Sj6yyyv2oqLqirG+ekFsK/OOTRNPL8CAlN83hLuANGDBqL/
+Xk5VxabCki1LEKpTE3dxRelCX4xOVqfZv7uFBFvCB4pz7o98DgsFmwnbn81xQ8SR
+lgVEjqn/mow0TQ8/aSovz5Rycc9tnEUo601NJVYTRwtlrGU6dHHTFEzBdirWNdbn
+sNf7a3jQSoBL0sT553Y9ZooUNN+mQBh9TetNQS7N5nBCwmb1DtUrfZ91mWcXdRmQ
+tFSXFwUu7E53jI84XWzPfolB5QIDAQABo2MwYTAPBgNVHRMBAf8EBTADAQH/MA4G
+A1UdDwEB/wQEAwIBBjAdBgNVHQ4EFgQUy7X7hgUkZPWAaAhmiw/gEtn2vcgwHwYD
+VR0jBBgwFoAUy7X7hgUkZPWAaAhmiw/gEtn2vcgwDQYJKoZIhvcNAQEFBQADggEB
+ADffp6NFGoVApxp8vCr2TvMcWOm7f8QfM2wspsrgGyjWuLzkpjGr/mfo4xhD0RtM
+jGdObCcfdMpQN0qkXVBAGvCEKMm5vum77Gy+rMD5SPtER8c9JP7WnY2OGRa/mjU9
+f+xh+qDjnkrRPQc9DkKNLpvgL7zawtPaAMTbjZ/6o8qQiHqwE1pEzs3xmLyix/Iu
+/XwCLhFCL/fQhiaq1OMyofgSSOdjat/kMRekhIWZI6D6q45evVQYEiEapM7r/6ky
+8AsuhUp7hhq3vaTDsta/LKoQwPH/7v5dndoIRRVBpqYBNAy0NTXFA1PL3wqApk6i
+JgBfsoKnQHZ21J6uaymIFYU=
+-----END CERTIFICATE-----
Index: examples/experiment_create_rt0_typed/Globotron_private.pem
===================================================================
--- examples/experiment_create_rt0_typed/Globotron_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/experiment_create_rt0_typed/Globotron_private.pem	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEpAIBAAKCAQEA3xbn6YbhTK69FAKwvHKc6rPILG9Xlve3W5L8kEH0de6KmWvz
+mdiYsfjYIX9VqsHi5M4bR5cGuQrY/Sj6yyyv2oqLqirG+ekFsK/OOTRNPL8CAlN8
+3hLuANGDBqL/Xk5VxabCki1LEKpTE3dxRelCX4xOVqfZv7uFBFvCB4pz7o98DgsF
+mwnbn81xQ8SRlgVEjqn/mow0TQ8/aSovz5Rycc9tnEUo601NJVYTRwtlrGU6dHHT
+FEzBdirWNdbnsNf7a3jQSoBL0sT553Y9ZooUNN+mQBh9TetNQS7N5nBCwmb1DtUr
+fZ91mWcXdRmQtFSXFwUu7E53jI84XWzPfolB5QIDAQABAoIBAQCeYsPaL5HLgI/r
+IhHaaUDw/R0UNySnoU3DrTK1NK5cADTUwijcREP8ryC7f40Rw7/UFGSXyijSvVnb
+Ovn7v8lGTnDkKqTED2Wj0N2IDZL8mtvRTPbtL+FcIWN2FclaaiFJR6ECaTfPKC39
+NyLrsLUX4yRHL7pP/tFsi7zQ38J5ToAaDhZgCx8tfmCPFZSsi6tPeXkKXW9/TcvU
+CyJbuOlgjwzlPAv+UKPKe7pZCyF0WslP0cSiCPDsHqgrKZD/61JDAxPaQOMfq301
+AlgDijzrzVFdFQ4A/byaP87g4YNONca6NalN18HCinI9qJU8gODt8qzH3fnBzGwD
+pGwd2IvhAoGBAPXhYg/gWYiDpZInhrCCSWzC+63n8yRoUu8XXkRhkJLASyrFjufo
+isVzC9xKLvcj9YtGh817Zlurl0Z0r7+YZ9yj0IQoZxKKVBwLDZw7fwD+nqRyOiBT
+JGIxaeSCOS/NpduJsHth3ShQNiWyrSz4V1FjePBwOE2supcC0xZsaQT9AoGBAOhF
+ZUzTBtHLXLTXgrnzuiCMC+/5FhEpDqCrud79mnj1YXsVYoj8OFe2myejeUzspbnq
+cuhjdkHYxhQtIrXNBsumMVXIIz2gXp4L8q8qbPf3UNzcpmhvNIIYdysiy3uEPTOv
++rSLtOxg5d8c4Ff56FiS8KJR7S/pRVxU51AMVvkJAoGAYTVoBYrXGuehL/U8hNAd
+o0g7JHgNYpl0IF6GwFYqSDqJ/TD53KnNI17mk4MoqkCnNRb/XbepshhWyF4dlYv1
+k/+X0of+qA/UTPn5uYi0H3qK0czvOhRk0AVlLhhl74ZISlFXWpBIVUXRAnpviNXt
+/5lqGPTk7aCabFWLitP1eSkCgYBtg2rD0ivA9xV63rHwYw47Ekz+lH7nEGipMM6u
+aPxQU8Hmeqq+08zs7lgxVE55CosJIZWUJHE5kq+yC6X1+fleQ7m3LGoRQG/cLN37
+4REHyUADIrYDP4uOW2K0n+85CZyhpjOatNRVL0qy67aLRHVcbcuvfNlMYbwmUJHP
+mEHZoQKBgQDWALZXbZODlAsJjHhDddt4+BpgCWBBFf+FBior5x2c5PormOmzVVmI
+lVxqM4y5+HkxOBGj585UJ9r+iW7oUJv6tats7V9ktdnkSpy587qpgq8qbj9QAWoE
+2kzN0wNdnOT25E5ikI37OXy8kChZE6o9sshHxk1sMTis3xp9R6cKbA==
+-----END RSA PRIVATE KEY-----
Index: examples/experiment_create_rt0_typed/README
===================================================================
--- examples/experiment_create_rt0_typed/README	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/experiment_create_rt0_typed/README	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,65 @@
+#!/bin/sh
+
+rm -rf *.der *.pem
+
+#
+#Acme runs a testbed. They've delegated the authority to create
+#experiments to all their partners. The Globotron company is one such
+#partner.
+#
+#    Acme.experiment_create <- Acme.partner.experiment_create
+#    Acme.partner <- Globotron
+#
+#Globotron has delegated the authority to anyone an admin thinks is a
+#'power user'.
+#
+#    Globotron.experiment_create <- Globotron.admin.power_user
+#
+#Alice is an admin, and her friend Bob is a power user:
+#
+#    Globotron.admin <- Alice
+#    Alice.power_user <- Bob
+#
+#From these credentials, it is possible to construct a proof graph
+#showing that Acme.experiment_create <- Bob.
+#
+#Note that there is a one-to-one correspondence with each credential
+#above and the attribute certificates below.
+#
+
+creddy --generate --cn Acme
+creddy --generate --cn Globotron
+creddy --generate --cn Alice
+creddy --generate --cn Bob
+
+#[keyid:Acme].role:experiment_create <- [keyid:Acme].role:partner.role:experiment_create
+creddy --attribute \
+       --issuer Acme_ID.pem --key Acme_private.pem --role experiment_create \
+       --subject-cert Acme_ID.pem --subject-role partner.experiment_create \
+       --out Acme_experiment_create__Acme_partner_experiment_create_attr.der
+
+#[keyid:Acme].role:partner <- [keyid:Globotron]
+creddy --attribute \
+       --issuer Acme_ID.pem --key Acme_private.pem --role partner \
+       --subject-cert Globotron_ID.pem \
+       --out Acme_partner__Globotron_attr.der 
+
+#[keyid:Globotron].role:expriment_create <- [keyid:Globotron].role:admin.role:power_user
+creddy --attribute \
+       --issuer Globotron_ID.pem --key Globotron_private.pem --role experiment_create \
+       --subject-cert Globotron_ID.pem --subject-role admin.power_user \
+       --out Globotron_experiment_create__Globotron_admin_power_user_attr.der
+
+#[keyid:Globotron].role:admin <- [keyid:Alice]
+creddy --attribute \
+       --issuer Globotron_ID.pem --key Globotron_private.pem --role admin \
+       --subject-cert Alice_ID.pem \
+       --out Globotron_admin__Alice_attr.der
+
+#[keyid:Alice].role:power_user <- [keyid:Bob]
+creddy --attribute \
+       --issuer Alice_ID.pem --key Alice_private.pem --role power_user \
+       --subject-cert Bob_ID.pem \
+       --out Alice_power_user__Bob_attr.der
+
+
Index: examples/experiment_create_rt0_typed/rr
===================================================================
--- examples/experiment_create_rt0_typed/rr	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
+++ examples/experiment_create_rt0_typed/rr	(revision 718ad9243faff3a00dea5c5c5b2ef6fe89caedbe)
@@ -0,0 +1,28 @@
+
+eloc=/home/mei/Deter/abac/libabac
+keyloc=/home/mei/Deter/abac/examples/experiment_create_rt0_typed
+
+acme=`creddy --keyid --cert $keyloc/Acme_ID.pem`
+alice=`creddy --keyid --cert $keyloc/Alice_ID.pem`
+bob=`creddy --keyid --cert $keyloc/Bob_ID.pem`
+globotron=`creddy --keyid --cert $keyloc/Globotron_ID.pem`
+
+#[keyid:Globotron].role:admin <-?- [keyid:Alice] yap
+#isMember(pAlice, role(pGlobotron,admin), C).
+echo " "
+echo "===good=============== Globotron.admin <- Alice yap "
+$eloc/abac_prover_yap  --keystore $keyloc --role $globotron.admin --principal $alice
+
+#[keyid:Globotron].role:admin <-?- [keyid:Bob] yap
+#isMember(pBob, role(pGlobotron,admin), C).
+echo " "
+echo "===bad=============== Globotron.admin <- Bob yap "
+$eloc/abac_prover_yap  --keystore $keyloc --role $globotron.admin --principal $bob
+
+#[keyid:Acme].role:experiment_create <-?- [keyid:Bob] yap
+#isMember(pBob, role(pAcme,experiment_create), C).
+echo " "
+echo "===good=============== Acme.experiment_create <- Bob yap "
+$eloc/abac_prover_yap  --keystore $keyloc --role $acme.experiment_create --principal $bob
+
+
Index: examples/r_acme_rockets
===================================================================
--- examples/r_acme_rockets	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,23 +1,0 @@
-
-#Acme.preferred_customer <-?- Coyote
-echo "===good============ Acme.preferred_customer <- Coyote "
-../libabac/abac_prover  --keystore /home/mei/Deter/abac/examples/acme_rockets  --role bb2f2f3544daa44f9f8f3b5cd2d8d71f6dc2974d.preferred_customer --principal 9b2c1d0949e667a2264b200602aba5f3560e8404 
-
-#Acme.buy_rockets <-?- Acme.preferred_customer
-echo "===good=============== Acme.buy_rockets <- Acme.preferred_customer "
-../libabac/abac_prover  --keystore /home/mei/Deter/abac/examples/acme_rockets  --role bb2f2f3544daa44f9f8f3b5cd2d8d71f6dc2974d.buy_rockets --principal  bb2f2f3544daa44f9f8f3b5cd2d8d71f6dc2974d.preferred_customer
-
-#Coyote.friend <-?- Acme
-echo "===bad=============== Coyote.friend <- Acme "
-../libabac/abac_prover  --keystore /home/mei/Deter/abac/examples/acme_rockets  --role 9b2c1d0949e667a2264b200602aba5f3560e8404.friend --principal  bb2f2f3544daa44f9f8f3b5cd2d8d71f6dc2974d
-
-
-#Acme.buy_rockets <-?- Coyote 
-echo "===good==============="
-../libabac/abac_prover  --keystore /home/mei/Deter/abac/examples/
-acme_rockets  --role bb2f2f3544daa44f9f8f3b5cd2d8d71f6dc2974d.buy_rockets --principal b2c1d0949e667a2264b200602aba5f3560e8404 
-
-#Acme.buy_rockets <-?- Batman
-echo "====bad=============="
-../libabac/abac_prover  --keystore /home/mei/Deter/abac/examples/acme_rockets  --role bb2f2f3544daa44f9f8f3b5cd2d8d71f6dc2974d.buy_rocket --principal 9b2c1d0949e667a2264b200602aba5f3560e8404 
-
Index: examples/r_acme_rockets_intersection
===================================================================
--- examples/r_acme_rockets_intersection	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,22 +1,0 @@
-
-
-## acme, 21ec129bef9fc86a1af209be7ab00ff9c6d8b573
-## batman, 99a48a9ffcccc9674c517fda9dfb9f0897b2de6c
-## coyote, a8b37d39606cdeb3b02cc12f481584daca47cf76
-
-#Acme.buy_rockets <-?- Coyote yap
-echo "===good============ Acme.buy_rockets <- Coyote "
-../libabac/abac_prover_yap  --keystore /home/mei/Deter/abac/examples/acme_rockets_intersection --role 21ec129bef9fc86a1af209be7ab00ff9c6d8b573.buy_rockets --principal a8b37d39606cdeb3b02cc12f481584daca47cf76
-
-#Acme.bad_buy_rockets <-?- Coyote yap
-#echo "===bad============ Acme.buy_rockets <- Coyote "
-#../libabac/abac_prover_yap  --keystore /home/mei/Deter/abac/examples/acme_rockets_intersection --role 21ec129bef9fc86a1af209be7ab00ff9c6d8b573.bad_buy_rockets --principal a8b37d39606cdeb3b02cc12f481584daca47cf76
-
-#badAcme.buy_rockets <-?- badCoyote yap
-#echo "===bad============ badAcme.buy_rockets <- badCoyote "
-#../libabac/abac_prover_yap  --keystore /home/mei/Deter/abac/examples/acme_rockets_intersection --role bb2f2f3544daa44f9f8f3b5cd2d8d71f6dc2974d.buy_rockets --principal 9b2c1d0949e667a2264b200602aba5f3560e8404 
-
-#Acme.buy_rockets <-?- Batman yap
-# batman 99a48a9ffcccc9674c517fda9dfb9f0897b2de6c
-#echo "===bad=============== Acme.buy_rockets <- Batman "
-#../libabac/abac_prover_yap  --keystore /home/mei/Deter/abac/examples/acme_rockets_intersection  --role bb2f2f3544daa44f9f8f3b5cd2d8d71f6dc2974d.buy_rockets --principal 9b2c1d0949e667a2264b200602aba5f3560e8404 
Index: examples/r_experiment_create
===================================================================
--- examples/r_experiment_create	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,10 +1,0 @@
-## Acme, 9b47d3669b99a4ce1d3a0055be002ea6a580041a
-## Alice, 001f3599bafb755e97855b9ee0b3487830a4ecc7
-## Bob, b9cdabc274fa38390c26829efed68eaa527b8d00
-## Globotron, f923e9f69d33b52d8bbdfd19f2ec89dde7beedd7
-	
-#Acme.experiment_create <-?- Bob
-echo "===good=============== Acme.experiment_create <- Bob "
-../libabac/abac_prover  --keystore /home/mei/Deter/abac/examples/experiment_create  --role 9b47d3669b99a4ce1d3a0055be002ea6a580041a.experiment_create --principal b9cdabc274fa38390c26829efed68eaa527b8d00
-
-
Index: examples/r_yap_acme_rocket_intersection
===================================================================
--- examples/r_yap_acme_rocket_intersection	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,22 +1,0 @@
-
-
-## acme, 21ec129bef9fc86a1af209be7ab00ff9c6d8b573
-## batman, 99a48a9ffcccc9674c517fda9dfb9f0897b2de6c
-## coyote, a8b37d39606cdeb3b02cc12f481584daca47cf76
-
-#Acme.buy_rockets <-?- Coyote yap
-echo "===good============ Acme.buy_rockets <- Coyote yap "
-../libabac/abac_prover_yap  --keystore /home/mei/Deter/abac/examples/acme_rockets_intersection --role 21ec129bef9fc86a1af209be7ab00ff9c6d8b573.buy_rockets --principal a8b37d39606cdeb3b02cc12f481584daca47cf76
-
-#Acme.bad_buy_rockets <-?- Coyote yap
-#echo "===bad============ Acme.buy_rockets <- Coyote yap"
-#../libabac/abac_prover_yap  --keystore /home/mei/Deter/abac/examples/acme_rockets_intersection --role 21ec129bef9fc86a1af209be7ab00ff9c6d8b573.bad_buy_rockets --principal a8b37d39606cdeb3b02cc12f481584daca47cf76
-
-#badAcme.buy_rockets <-?- badCoyote yap
-#echo "===bad============ badAcme.buy_rockets <- badCoyote yap"
-#../libabac/abac_prover_yap  --keystore /home/mei/Deter/abac/examples/acme_rockets_intersection --role bb2f2f3544daa44f9f8f3b5cd2d8d71f6dc2974d.buy_rockets --principal 9b2c1d0949e667a2264b200602aba5f3560e8404 
-
-#Acme.buy_rockets <-?- Batman yap
-# batman 99a48a9ffcccc9674c517fda9dfb9f0897b2de6c
-#echo "===bad=============== Acme.buy_rockets <- Batman yap"
-#../libabac/abac_prover_yap  --keystore /home/mei/Deter/abac/examples/acme_rockets_intersection  --role bb2f2f3544daa44f9f8f3b5cd2d8d71f6dc2974d.buy_rockets --principal 9b2c1d0949e667a2264b200602aba5f3560e8404 
Index: examples/r_yap_acme_rockets
===================================================================
--- examples/r_yap_acme_rockets	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,22 +1,0 @@
-
-
-#Acme.preferred_customer <-?- Coyote yap
-#isMember(pCoyote, role(pAcme,preferred_customer), C).
-echo "===good============ Acme.preferred_customer <- Coyote yap "
-../libabac/abac_prover_yap  --keystore /home/mei/Deter/abac/examples/acme_rockets  --role bb2f2f3544daa44f9f8f3b5cd2d8d71f6dc2974d.preferred_customer --principal 9b2c1d0949e667a2264b200602aba5f3560e8404 
-
-#Acme.buy_rockets <-?- Coyote yap
-#isMember(pCoyote, role(pAcme,buy_rockets), C).
-echo "===good=============== Acme.buy_rockets <- Coyote yap"
-../libabac/abac_prover_yap  --keystore /home/mei/Deter/abac/examples/acme_rockets  --role bb2f2f3544daa44f9f8f3b5cd2d8d71f6dc2974d.buy_rockets --principal 9b2c1d0949e667a2264b200602aba5f3560e8404 
-
-## this is not suppose to work
-#Acme.buy_rockets <-?- Acme.preferred_customer yap
-echo "===bad=============== Acme.buy_rockets <- Acme.preferred_customer yap"
-../libabac/abac_prover_yap  --keystore /home/mei/Deter/abac/examples/acme_rockets  --role bb2f2f3544daa44f9f8f3b5cd2d8d71f6dc2974d.buy_rockets --principal  bb2f2f3544daa44f9f8f3b5cd2d8d71f6dc2974d.preferred_customer
-
-#Coyote.friend <-?- Acme yap
-#isMember(pAcme, role(pCoyote,buy_rockets), C).
-echo "===bad=============== Coyote.friend <- Acme yap"
-../libabac/abac_prover_yap  --keystore /home/mei/Deter/abac/examples/acme_rockets  --role 9b2c1d0949e667a2264b200602aba5f3560e8404.friend --principal  bb2f2f3544daa44f9f8f3b5cd2d8d71f6dc2974d
-
Index: examples/r_yap_experiment_create
===================================================================
--- examples/r_yap_experiment_create	(revision 44b0c79c286576e2937409a95381fc0cd3cd25bd)
+++ 	(revision )
@@ -1,10 +1,0 @@
-## Acme, 9b47d3669b99a4ce1d3a0055be002ea6a580041a
-## Alice, 001f3599bafb755e97855b9ee0b3487830a4ecc7
-## Bob, b9cdabc274fa38390c26829efed68eaa527b8d00
-## Globotron, f923e9f69d33b52d8bbdfd19f2ec89dde7beedd7
-	
-#Acme.experiment_create <-?- Bob
-echo "===good=============== Acme.experiment_create <- Bob yap "
-../libabac/abac_prover_yap  --keystore /home/mei/Deter/abac/examples/experiment_create  --role 9b47d3669b99a4ce1d3a0055be002ea6a580041a.experiment_create --principal b9cdabc274fa38390c26829efed68eaa527b8d00
-
-
