서브메뉴
검색
The Application of Model Checking for Securing E-Commerce Transactions
The Application of Model Checking for Securing E-Commerce Transactions
상세정보
- 자료유형
- 기사
- ISSN
- 00010782
- 저자명
- Anderson, B. B.
- 서명/저자
- The Application of Model Checking for Securing E-Commerce Transactions / Anderson, B. B. , Hansen, J. V. , Lowry, P. B. , Summers, S. L.
- 발행사항
- Broadway, NY : Association for Computing Machinery, 2006.
- 형태사항
- pp. 97-101
- 주기사항
- included reference
- 기타저자
- Hansen, J. V.
- 기타저자
- Lowry, P. B.
- 기타저자
- Summers, S. L.
- 원문정보
- url
- 모체레코드
- 모체정보확인
- Control Number
- kjul:60250816
MARC
008200115s2006 ai aa eng■022 ▼a00010782
■1001 ▼aAnderson, B. B.
■24510▼aThe Application of Model Checking for Securing E-Commerce Transactions▼dAnderson, B. B.▼e Hansen, J. V.▼eLowry, P. B.▼eSummers, S. L.
■260 ▼aBroadway, NY▼bAssociation for Computing Machinery▼c2006.
■300 ▼app. 97-101
■500 ▼a included reference
■7001 ▼aHansen, J. V.
■7001 ▼aLowry, P. B.
■7001 ▼aSummers, S. L.
■773 ▼tCommunications of the ACM.▼gVol. 49 No. 6 (2006. 6)▼d2006, 06
■856 ▼uhttp://www.acm.org/cacm/
■SIS ▼aS037972▼b60077699▼h8▼s2▼fP
