Dusko Pavlovic. University of Twente. November Logics of Authentication, Lieing and Obscurity. Dusko Pavlovic. Question.

Transcription

1 , and, and University of Twente November 2012

2 , and Can a lie be recognized by its grammatical form?

3 Online banking protocol, and

4 Neolithic authentication (Uruq 3700 BC), and

5 An even older security protocol, and

6 , and

7 , and Observable = Unobservable

8 Example: Self-authentication, and

9 Example: Self-authentication, and René to himself: "I think, therefore I exist."

10 Example: Cryptographic authentication, and

11 Example: Cryptographic authentication, and Bob to Alice: "You decrypt, therefore you exist."

12 Channel is like Newton s cradle, and Unobservable action Observable reaction

13 Example: Turing Test, and Alan Turing: Is being human testable? Design a test to distinguish a human from a computer (communicating by messages, e.g. s).

14 Turing Machine, and

15 Turing Test, and

16 Turing Test on the Web, and

17 Man-in-the-Middle Attack, and

18 advances through channels, and Figure: is a quest for channels to observe nature

19 Richard Feynman on science Lectures on the Character of Physical Law, and If we have a definite theory, from which we can compute the consequences which can be compared with experiment, then in principle we can prove that theory wrong.

20 Richard Feynman on science Lectures on the Character of Physical Law, and... But notice that we can never prove it right. Suppose that you invent a theory, calculate the consequences, and discover every time that the consequences agree with the experiment. The theory is then right? No, it is simply not proved wrong. In the future you could compute a wider range of consequences, there could be a wider range of experiments, and you might then discover that the thing is wrong.

21 Richard Feynman on science Lectures on the Character of Physical Law, and That is why laws like Newton s laws for motion of planets last such a long time. He guessed the law of gravitation, and it took several hundred years before the slight error in the motion of Mercury was observed. During all that time, the theory had not been proven wrong, and could be taken temporarily to be right.

22 Richard Feynman on science Lectures on the Character of Physical Law, and We never are definitely right; we can only be sure when we are wrong.

23 The best kept secret of, and never proves the true laws of nature (never even makes any definite assertions of truth) only disproves some false hypotheses (detects lies)

24 Religion, Art, and, and Religion says: This is the truth about the world. You can rely upon it.

25 Religion, Art, and, and Religion says: Art says: This is the truth about the world. You can rely upon it. This is a story about the world. You can relax and play with it.

26 Religion, Art, and, and Religion says: Art says: This is the truth about the world. You can rely upon it. This is a story about the world. You can relax and play with it. says: This a theory about the world. You shouldn t rely upon it too much. You shouldn t relax, but work to improve it.

27 Richard Feynman on science Lectures on the Character of Physical Law, and Another thing that I must point out is that you cannot prove vague theory wrong.

28 Another secret of, and gets stuck at obscurity.

29 , and bustles with untestable theories: many-worlds interpretation (parallel universes) string theory intelligent design universe before the Big Bang...

30 Web 1.0, and

31 Web 2.0, and Reputation as a fixed point (PageRank, HITS)

32 Concepts are communities, and

33 End of Lying, and A lie cannot be recognized by its grammatical form A liar can be recognized by his social context

34 End of Lying, and A lie cannot be recognized by its grammatical form Fregean logic: Truth through formalism A liar can be recognized by his social context Nietzschean logic: Who speaks?

35 Social context, and

36 Targeted advertising, and

37 vs Lying, and

38 vs Lying, and

39 , and

40 Ik heb gezegd, and