DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kim, Moonzoo | ko |
dc.date.accessioned | 2013-03-27T23:30:09Z | - |
dc.date.available | 2013-03-27T23:30:09Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2007-10-24 | - |
dc.identifier.citation | International Symposium on Automated Technology for Verification and Analysis, pp.489 - 500 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | http://hdl.handle.net/10203/162241 | - |
dc.description.abstract | One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of infrastructure, not only as security guardians, but also as reliable network components. Thus, for both fault tolerance and high network throughput, multiple security appliances are often deployed together in a group and managed via High-Availability (HA) protocol. In this paper, we present our experience of formally modeling and verifying the HA protocol used for commercial network security appliances through model checking. In addition, we applied a new debugging technique to detect multiple bugs without modifying/fixing the HA model by analyzing all counter examples. Throughout these formal analysis, we could effectively detect several design flaws. | - |
dc.language | English | - |
dc.publisher | ATVA | - |
dc.title | Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances | - |
dc.title.alternative | 정형 모델링 및 검증 기법을 통한 네트웍 보안 장비들간의 HA 프로토콜 검사 | - |
dc.type | Conference | - |
dc.identifier.wosid | 000251078300034 | - |
dc.identifier.scopusid | 2-s2.0-38149052190 | - |
dc.type.rims | CONF | - |
dc.citation.beginningpage | 489 | - |
dc.citation.endingpage | 500 | - |
dc.citation.publicationname | International Symposium on Automated Technology for Verification and Analysis | - |
dc.identifier.conferencecountry | JA | - |
dc.contributor.localauthor | Kim, Moonzoo | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.