Publication View

Delegation Logic: A Logic-based Approach to Distributed Authorization (2009)

Abstract

To my parents and my wife iii Acknowledgment First and foremost, I must thank Joan Feigenbaum, my advisor, for her guidance, patience, and encouragement over these years. If I became a better writer or speaker because of my time as a Ph.D. student, it is largely because of her. I owe a lot to Benjamin Grosof, whose help was very important to this thesis. I have benefited a lot from the last two years ' collaboration with him. I would also like to express my gratitude to Prof. Alan Siegel, my co-advisor, on whose recommendation I started working with Joan. He is always willing to help, both on academic development and on personal issues.

Publication details

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.3165
Source	http://crypto.stanford.edu/~ninghui/papers/thesis.ps
Contributors	CiteSeerX
Repository	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Type	text
Language	English
Relation	10.1.1.99.2838, 10.1.1.24.6050, 10.1.1.29.5742, 10.1.1.121.6788, 10.1.1.44.6276, 10.1.1.112.4473, 10.1.1.44.7130, 10.1.1.36.691, 10.1.1.38.8814, 10.1.1.20.6815, 10.1.1.133.3395, 10.1.1.41.9908, 10.1.1.34.5309, 10.1.1.32.8645, 10.1.1.86.2687, 10.1.1.13.3410, 10.1.1.26.1459, 10.1.1.40.3323, 10.1.1.41.4201, 10.1.1.140.2710, 10.1.1.38.9374, 10.1.1.34.3463, 10.1.1.48.6134, 10.1.1.110.5875, 10.1.1.38.9636, 10.1.1.14.6482, 10.1.1.45.4839, 10.1.1.27.5431, 10.1.1.115.8830, 10.1.1.23.4162, 10.1.1.37.7322, 10.1.1.130.7984, 10.1.1.14.7125, 10.1.1.14.2718, 10.1.1.23.9332, 10.1.1.32.6302, 10.1.1.14.3823, 10.1.1.25.7359, 10.1.1.13.9094, 10.1.1.40.5351, 10.1.1.13.8401, 10.1.1.133.3395, 10.1.1.104.6740, 10.1.1.13.3410, 10.1.1.1.6443, 10.1.1.12.6965, 10.1.1.4.889, 10.1.1.4.7963, 10.1.1.6.8602, 10.1.1.21.8552, 10.1.1.129.1535, 10.1.1.2.2813, 10.1.1.136.9409, 10.1.1.58.5622, 10.1.1.119.4238, 10.1.1.104.7454, 10.1.1.125.4103, 10.1.1.4.3564, 10.1.1.61.9449, 10.1.1.104.6132, 10.1.1.107.3248, 10.1.1.79.8098, 10.1.1.111.1832, 10.1.1.64.1053, 10.1.1.85.398, 10.1.1.62.639, 10.1.1.70.6909, 10.1.1.96.7886, 10.1.1.1.9526, 10.1.1.107.7759, 10.1.1.5.3900, 10.1.1.94.2830, 10.1.1.61.5291, 10.1.1.101.5426, 10.1.1.109.1226, 10.1.1.105.2743, 10.1.1.109.1877, 10.1.1.110.8944, 10.1.1.121.5848, 10.1.1.73.2727, 10.1.1.139.3411, 10.1.1.61.9393, 10.1.1.76.1573, 10.1.1.131.2637, 10.1.1.84.7300, 10.1.1.98.3351, 10.1.1.61.5526, 10.1.1.118.6233, 10.1.1.18.1984, 10.1.1.67.2477, 10.1.1.114.1284, 10.1.1.110.8640, 10.1.1.128.7944, 10.1.1.143.8089, 10.1.1.100.8351, 10.1.1.100.9792, 10.1.1.106.1628, 10.1.1.106.3800, 10.1.1.108.5806, 10.1.1.109.2165, 10.1.1.109.6264, 10.1.1.4.8913, 10.1.1.124.4407, 10.1.1.63.3449, 10.1.1.63.5259, 10.1.1.63.6000, 10.1.1.64.6211, 10.1.1.66.7505, 10.1.1.68.7735, 10.1.1.69.2034, 10.1.1.69.528, 10.1.1.76.3304, 10.1.1.76.776, 10.1.1.77.5602, 10.1.1.79.3381, 10.1.1.80.7337, 10.1.1.84.3567, 10.1.1.85.5444, 10.1.1.85.6025, 10.1.1.107.2521, 10.1.1.88.7309, 10.1.1.89.1550, 10.1.1.129.4095, 10.1.1.91.2524, 10.1.1.91.8899, 10.1.1.91.9465, 10.1.1.92.4433, 10.1.1.92.7091, 10.1.1.93.3667, 10.1.1.94.3675, 10.1.1.95.9373, 10.1.1.97.9603, 10.1.1.99.3576, 10.1.1.99.448, 10.1.1.99.92, 10.1.1.111.1617, 10.1.1.112.1563, 10.1.1.114.46, 10.1.1.116.2117, 10.1.1.116.2958, 10.1.1.116.9016, 10.1.1.118.1698, 10.1.1.122.5970, 10.1.1.123.1291, 10.1.1.131.3734, 10.1.1.131.8481, 10.1.1.131.3996, 10.1.1.132.8474, 10.1.1.136.4178, 10.1.1.134.5521, 10.1.1.136.8074, 10.1.1.136.8900, 10.1.1.14.7736, 10.1.1.4.5664, 10.1.1.57.9695, 10.1.1.60.7469, 10.1.1.61.9595, 10.1.1.140.2681, 10.1.1.2.9982, 10.1.1.140.9417, 10.1.1.141.320, 10.1.1.129.64, 10.1.1.141.6585, 10.1.1.141.7274, 10.1.1.142.9076, 10.1.1.143.5791