Samuel B. Eckert Professor of Computer Science, Computer Science
"Credentials-Based Authorization I: Logic" and "Credentials-Based Authorization II: Pragmatics"
Ultimately, authorization should be based on the extent to which the principal making a request is trusted. We will describe a language, logic, and mechanisms used for implementing this approach to authorization as well as some document-management applications. The roles of analytic, axiomatic, and constructive bases for trust will be discussed.
Fred Schneider is Samuel B. Eckert Professor of Computer Science at Cornell and also serves as the Chief Scientist for the NSF-funded TRUST Science and Technology Center, which brings together researchers at U.C. Berkeley, Carnegie-Mellon, Cornell, Stanford, and Vanderbilt. He is a fellow of AAAS, ACM, and IEEE, was awarded a Doctor of Science honoris causa by the University of NewCastle-upon-Tyne, and received the 2012 IEEE Emanuel R. Piore Award for "contributions to trustworthy computing through novel approaches to security, fault-tolerance and formal methods for concurrent and distributed systems". The U.S. National Academy of Engineering elected Schneider to membership in 2011, and the Norges Tekniske Vitenskapsakademi (Norwegian Academy of Technological Sciences) named him a foreign member in 2010. Schneider has testified about cybersecurity research at hearings of the U.S. House of Representatives and co-chairs Microsoft's Trustworthy Computing Academic Advisory Board.