1 / 28

지능형 사물인터넷 시스템 - MPC , etc. -

Learn about secure multi-party computation (MPC) in intelligent IoT systems and its applications in secure protocols, auctions, computing sums, and more. Discover the security requirements, ideal world simulation-based security, and advantages of this approach.

desantiago
Download Presentation

지능형 사물인터넷 시스템 - MPC , etc. -

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 지능형 사물인터넷 시스템- MPC, etc. - Howon Kim 2019. 5

  2. Secure Multi-party Computation • Secure Multiparty Computation Introduction by Ran Cohen • Secure Multi-party Protocols, LNCS 2815, 2003 by Y. Lindell

  3. Security in multi-party computation

  4. Security in multi-party computation

  5. Security in multi-party computation

  6. Auction Example – Security Requirements

  7. Auction Example – Security Requirements 가장 높은 가격을 부른 사람은 최종 낙찰전, 포기할 수 있음

  8. Security Requirements

  9. Example – Computing Sum

  10. Example – Computing Sum

  11. How to Define Security

  12. Ideal World

  13. Real World

  14. Simulation-Based Security

  15. Simulation-Based Security

  16. Simulation-Based Security

  17. Sanity Check

  18. Advantages of this Approach

  19. Sequential Modular Composition

  20. The Definition (Cont'd)

  21. The Functionality

  22. Security Type

  23. Adversarial Model

  24. Adversarial Model

  25. Adversarial Model

  26. Communication Model

  27. Execution Environment

More Related