{"product_id":"combining-reason-and-authority-for-authorization-of-proof-carrying-code","title":"Combining Reason and Authority for Authorization of Proof-Carrying Code","description":"\u003cp\u003eIn this doctoral dissertation I show that using both reason and authority as strategies for code authorization is desirable, possible, and practical.  I present BCIC, a system that combines an authorization logic based on the Binder language with CIC, a logical framework able to express semantic properties of programs.\u003c\/p\u003e","brand":"Nathan Whitehead","offers":[{"title":"Paperback","offer_id":44348155494561,"sku":"9781111141675","price":33.78,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0462\/1120\/3233\/files\/1r4evrm-front-shortedge-384_0816d3df-5062-4a82-ab48-97d24575cdb5.jpg?v=1748491729","url":"https:\/\/bookswholesale.myshopify.com\/products\/combining-reason-and-authority-for-authorization-of-proof-carrying-code","provider":"BooksWholesale","version":"1.0","type":"link"}