profile
GLICO
Its me Glico
글시리즈소개
태그 목록
전체보기 (48)OS(14)SWAD(12)DCN(10)ns(6)Tamarin prover(5)Prover(5)Tamarin(4)protocol(1)ADS-B(1)
post-thumbnail

[Tamarin-prover] Ep 5. Model Specification using Rules (Part 2)

Tamarin prover

ProverTamarinTamarin prover
2025년 2월 28일
·
1개의 댓글
·
post-thumbnail

[Tamarin-prover] Ep 4. Model Specification using Rules

Tamarin-prover

ProverTamarinTamarin prover
2025년 2월 27일
·
0개의 댓글
·

[Tamarin-prover] Ep 3. Cryptographic Messages

Tamarin-prover

ProverTamarinTamarin prover
2025년 2월 24일
·
0개의 댓글
·
post-thumbnail

[Tamarin-prover] Ep 2. Graphical User Interface

Tamarin-prover

ProverTamarinTamarin prover
2025년 2월 24일
·
0개의 댓글
·

[Tamarin-prover] Ep 1. Introduction

Tamarin prover

ProverTamarin proverprotocol
2025년 2월 20일
·
0개의 댓글
·
post-thumbnail

[OS] Ep.10 Memory Management (1)

Memory Management (1)

OS
2024년 12월 2일
·
0개의 댓글
·
post-thumbnail

[OS] Ep.10 Synchronization(2)

Synchronization(2)

OS
2024년 12월 1일
·
0개의 댓글
·
post-thumbnail

[OS] Ep.9 Synchronization(1)

Synchronization(1)

OS
2024년 12월 1일
·
0개의 댓글
·
post-thumbnail

[OS] Ep.8 Thread

Thread

OS
2024년 11월 26일
·
0개의 댓글
·
post-thumbnail

[OS] Ep.7 IPC

Inter Process Communication

OS
2024년 11월 20일
·
0개의 댓글
·
post-thumbnail

[OS] Ep.6 CPU Scheduling

어떻게 Process에게 CPU를 할당할 것인가

OS
2024년 11월 17일
·
0개의 댓글
·
post-thumbnail

[OS] Ep.5 Computer Architecture

Computer Architecture

OS
2024년 11월 14일
·
0개의 댓글
·
post-thumbnail

[OS] Ep.4 Process

Process

OS
2024년 11월 14일
·
0개의 댓글
·
post-thumbnail

[OS] Ep.3 OS Structure

OS Structure

OS
2024년 11월 13일
·
0개의 댓글
·
post-thumbnail

[OS] Ep.2 Operating Systems

Ep.2 Operating Systems

OS
2024년 11월 13일
·
0개의 댓글
·
post-thumbnail

[OS] Ep.1 Introduction

Introduction to OS

OS
2024년 10월 31일
·
0개의 댓글
·
post-thumbnail

Trust the Crowd: Wireless Witnessing to Detect Attacks on ADS-B-Based Air-Traffic Surveillance

Trust_the_Crowd_Wireless_Witnessing_to_Detect_Attacks_on_ADS-B-Based_Air-Traffic_Surveillance

ADS-B
2024년 10월 29일
·
0개의 댓글
·
post-thumbnail

[SWAD] Ep.12 SOLID

Contents: SOLID

SWAD
2024년 10월 25일
·
0개의 댓글
·
post-thumbnail

[SWAD] Ep. 11 OOD(6)

Contents : State Machine Diagram, Activity Diagram

SWAD
2024년 10월 25일
·
0개의 댓글
·
post-thumbnail

[SWAD] Ep. 10 OOD(5)

Contents : Combined Fragments in Sequence Diagram, Branches and Loops, Order and Concurrency, Other Stuff

SWAD
2024년 10월 25일
·
0개의 댓글
·