Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
Formal Specification and Verification of Firewall using TLA+Formal Specification and Verification of Firewall using TLA+
- Alternative Title
- Formal Specification and Verification of Firewall using TLA+
- Authors
- CHOI, Jin Young
- Issue Date
- 19-7월-2017
- Publisher
- Int'l Conf on Security and Management
- Citation
- Int'l Conf on Security and Management
- Conference Name
- Int'l Conf on Security and Management
- Place
- KO
- Conference Date
- 2017-07-17
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - School of Cyber Security > Department of Information Security > 2. Conference Papers
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.