- Hand back homework 1.4. Graded #9, 16, 22, 31
- 9: invalid attempted ug over a wff created by ei.
- 16:
- deduction method is a good idea;
- there were
invalid negation attempts by some:
- Lots of funky attempts to micro apply eg inside wffs - we have no rule like that! The stripping strips from an entire wff, and the generalizing applies to a whole wff.
- Wade?
- 22:
- Saw some ui before ei
- Michelle? Brad?
- 31:
- ouch! A fair slug of folks didn't get to that one....
- Some
with
....
- John? Jaime?
- Hand in homework over 2.1.
- Your 2.2 homework is due next time (Wednesday).
- New assignment over 2.4 (due next Monday).
- Today, September 19:
The Future of Infosec in Historical Context
Whitfield Diffie Information security before 1900 consisted of locking the safes, guarding the buildings, and sending documents via trusted courier. The first transatlantic radio transmission in 1904 and World War I a decade later heralded the arrival of a tool too valuable to forgo, a tool that bypassed all known information-security security techniques, with the notable exception of cryptography. Thus began a century long effort to achieve satisfactory cryptographic systems, an effort that reached a major watershed in 2005.
VP of Information Security, ICANN
Chief Cryptographer, Revere Security7:40 p.m.
Student Union Ballroom
In many ways, the arrival of radio a century ago parallels the more recent arrival of the Internet. The Internet is a tool that no one can afford to forgo but it is a tool fraught with security challenges. We will examine the parallels between internet infosec and earlier forms and look forward at upcoming phenomena, particularly cloud computing.