This year's Visions Lectures will take place on October 6, 2005, from 5-6 p.m. in the ACES Avaya Auditorium, ACES 2.302. A reception for invited guests follows immediately afterwards. Please join us to honor and congratulate these exceptional faculty members at their talks.
In various ways, science is under attack. Political leaders ignore science or reject its conclusions. Funding agencies reduce money for university-based scientific research. News media either ignore science or attempt to give equal weight to science and anti-science. Religious leaders fight science and castigate scientists. Elementary school teachers present science as simply sets of facts to be memorized. Regular citizens have little understanding of what science is, how the scientific method works, or what value it has for them. Meanwhile the reaction of scientists is a perplexed befuddlement coupled with a hope for better times. I will present evidence of the misunderstanding and rejection of science from many quarters. I find that the scientific community itself bears a significant portion of the blame. I will discuss steps to be taken toward the reversal of the trend – notions that require more than simply hope.
The problem of authentication protocols for computer networks was opened by Needham and Schroeder in a 1978 paper. It was motivated by the ARPANET and by the invention of public key cryptography two years earlier. In the "tree" of security research, Needham and Schroeder initiated what turned out to be a very large subtree. This subtree has two major branches, one on the verification of security protocols and the other on the design and implementation of authentication services for computer networks. In this talk, I review some of our past and current efforts on network security research and place them within the subtree of security protocols research for computer networks.