MATH 690 - Topics in Mathematical Foundations of Program Semantics

Institution:

University of Pennsylvania

Subject:

Description:

Staff. This course will discuss Mathematical Foundations of Computer Security in the Fall and will be followed in Spring by Math 691, Advanced Topics in Mathematical Foundations of Computer Security. In Fall we will study basic topics in cryptography and network security protocols. "What is to distinguish a digital dollar when it is as easily reproducible as the spoken word How do we converse privately when every syllable is bounced off a satellite and smeared over an entire continent How should a bank know that it really is Bill Gates requesting from his laptop in Fiji a transfer of $100,000,.....,000 to another bank Fortunately, the mathematics of cryptography can help. Cryptography provides techniques for keeping information secret, for determining that information has not been tampered with, and for determing who authored pieces of information." (From the Foreword by R. Rivest to the "Handbook of Applied Cryptography" by Menezes, van Oorschot, and Vanstone.) Textbook: Douglas R. Stinson. "Cryptography: Theory and Practice". Publisher: Chapman & Hall/CRC; 3 edition (November 1, 2005) ISBN: 1584885084.

Credits:

3.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Lecture

Notes:

Additional Information:

Historical Version(s):

Institution Website:

www.upenn.edu

Phone Number:

(215) 898-5000

Regional Accreditation:

Middle States Association of Colleges and Schools

Calendar System:

Semester

The Course Profile information is provided and updated by third parties including the respective institutions. While the institutions are able to update their information at any time, the information is not independently validated, and no party associated with this website can accept responsibility for its accuracy.