Speaker: Joshua D. Guttman Title: Trust coordination using cryptographic protocols Abstract : In logical trust management, several principals cooperate in distributed deduction. Successful deductions grant access to resources, including -- in electronic commerce -- transfer of funds and merchandise. We describe how to design cryptographic protocols to coordinate deductions among principals, how to ensure that the protocols are sound for their trust goals, and how to implement them using a domain specific language.