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
+
+
