The Library of Congress > Linked Data Service > LC Name Authority File (LCNAF)

Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security