SECR 2009 is over. To learn about current SECR please visit www.secrus.org.
Important dates
October 26, 27, 30: CMMI training in Russian

October 27: Banking Day and other Collocated Events

October 28-29: main conference and SQA Days
Our sponsors

Adobe

Premium sponsor


Intel

Premium sponsor


Microsoft

Premium sponsor


Exigen Services

Gold sponsor


IBM

Gold sponsor


EMC

Silver sponsor


iCarnegie

Sponsor

The security tower of Babel

Yuri Gurevich

Abstract

Microsoft

And the Lord said: “Let us go down, and there confound their language, that they may not understand one another’s speech.” These days, technology and the division of labor confound us. The psychiatrists and heart surgeons speak different languages. Firewalls and database protection software speak different languages. The latter example is of particular interest to us. It makes good sense to integrate automated security experts of various kinds: anti-malware, data-leakage prevention, database protection, firewalls, etc. But how? One idea is a super-expert. There are two problems with that idea. First, there is a large overhead. Second nobody knows how to create the desired super-expert. Is there an alternative solution? Yes: Enterprise Security Assessment Sharing system (ESAS) conceived and being built at Microsoft. The idea is simple. Even if experts speak different languages, the intersection of their languages is not quite empty. Psychiatrists and heart surgeons know that a person can be male or female, sick or healthy. Similarly there is a modest language shared by security experts. We sketch how and why ESAS works.

[hidepost]download presentation[/hidepost]

Yuri Gurevich

Yuri Gurevich

Bio

Yuri Gurevich is an American computer scientist and mathematician and the inventor of abstract state machines. He is currently Principal Researcher at Microsoft Research, where he founded the Foundations of Software Engineering group, and he is Professor Emeritus at the University of Michigan.

Gurevich was educated in the Soviet Union, and taught in Israel before coming to the United States. The best known work of his Soviet period is on the classical decision problem. In Israel, Gurevich worked with Saharon Shelah on monadic second-order theories. The Forgetful Determinacy Theorem of Gurevich-Harrington is of that period as well. As far as his American period is concerned, Gurevich is best known for his work on finite model theory and the theory of abstract state machines. He has also contributed to average-case complexity theory.
Gurevich is an ACM Fellow, a Guggenheim Fellow, a member of European Academia and Dr. Honoris Causa of Hasselt University in Belgium and of Ural State University in Russia.

« Previous Keynote All Keynotes Next Keynote»

Invited Talks Regular talks Workshops Types of presentations

All talks sorted by author name All talks sorted by company name

IEEEIEEE Computer SocietyTCSEIEEE Moscow Center
TEKAMA HSE RUSSOFT AP KIT
SQALAB Infopark A-SYS Ukrainian Hi-Tech Initiative
INTSPEI IT Ukraine
Adobe Intel Microsoft
Exigen Services
EMC
iCarnegie