분류 전체보기411 Lecture 10: Cryptography 3 목차 Digital Signatures Digital signature: Alex wants to send a message and proves that the message came from him Goals for a Digital Signature Authenticity (진위) - Binds an identity (signer) to a message - Provides assurance of the signer Unforgeability (위조 불가능성) - An attacker cannot forge a signature for a different identity Non-repudiation (부인 방지) - Signer cannot deny having signed the message I.. 2024. 4. 7. Lecture 9: Cryptography 2 목차 Block Cipher A block cipher is a symmetric encryption scheme for messages (blocks) of a given fixed length - The length of the block is independent from the length of the key AES is a block cipher that operates on blocks of 128 bits (16 bytes0 - AES supports keys of length 128, 192, and 256 bits ECB Mode When plaintext is longer than block size, b - Partition plaintext P into sequence of m bl.. 2024. 4. 7. Lecture 8: Cryptography 1 목차 Security Principles: CIA Triad Confidentiality (기밀성) : Integrity (무결성): Availability (가용성): Normal Communication Eavesdropping (도청) Eavesdropping: 도청 (보내는 메시지 read) Tampering (부당 변경) Tampering: 부당 변경 (보내는 메시지 modify 해서 보냄. 수신자는 변경된 메시지 받음) Blocking Blocking: 보내는 메시지 remove. Cryptography (암호 작성술) Cryptography ensures the confidentiality (비밀성) and integrity (무결성) of the message (not availabilit.. 2024. 4. 6. Lecture 11: Type Checking 목차 Learning Objectives - Explain the difference between a type system and a type checker - Analyze programs as being well-typed or ill-typed - Explain and motivate "type safety" - Implement a simple type checker for a language with let expressions Why Type Check? Type checking helps rule out errors Example: Type System vs Type Checker A type system is a specification of a set of syntactic restri.. 2024. 4. 6. 이전 1 ··· 9 10 11 12 13 14 15 ··· 103 다음 반응형
