지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. 보안 검토와 형식검증
3. 지불프로토콜 보안 검증을 위한 접근법
4. 보안의 형식 증명으로 구조 설명하기
5. 결론
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
무선인터넷에서의 종단간 보안을 제공하는 신용카드 기반의 지불 프로토콜
정보과학회논문지 : 정보통신
2002 .12
알려지지 않은 프로토콜의 보안성 분석
한국정보과학회 학술발표논문집
2019 .12
인터넷 보안 프로토콜에 대한 고찰
한국통신학회 학술대회논문집
2001 .07
전자 지불 시스템의 보안 평가 기준
한국전자거래학회 학술대회 발표집
1999 .07
혼합형 전자지불 시스템을 위한 하이브리드 e-payment 프로토콜 구현
대한전기학회 학술대회 논문집
2000 .11
지불시스템의 승인단계에서 보안방안
한국산업정보학회논문지
2002 .12
타원곡선 공개키 암호 알고리즘을 이용한 전자지불 프로토콜
정보보호학회논문지
2000 .03
SET 기반의 전자 지불 시스템과 보안 기술
정보보호학회지
1997 .09
ASK 모바일 프로토콜 취약점 분석 및 수정
정보과학회논문지 : 정보통신
2006 .02
무선인터넷에서의 안전한 신용카드 지불 프로토콜 설계
한국정보과학회 학술발표논문집
2002 .04
수표 방식의 전자지불 프로토콜
한국통신학회 학술대회논문집
2002 .07
사물 인터넷에 필요한 보안 요구사항과 보안 프로토콜에 대한 연구
한국통신학회 학술대회논문집
2017 .01
무선 응용 프로토콜 보안 기술
정보과학회지
2002 .04
안전한 소액 지불 프로토콜의 비교 , 검토와 구현 ( A Survey and Implementation of Secure Electronic Micro-Payment Protocol )
한국통신학회 학술대회 및 강연회
1997 .01
무선인터넷에서의 사용자 익명성을 제공하는 신용카드 기반 지불 프로토콜
한국정보과학회 학술발표논문집
2002 .10
디지털 상품 거래를 위한 전자지불 프로토콜 설계 및 구현
멀티미디어학회논문지
2005 .07
무선인터넷에서 신용카드기반의 안전한 소액 지불 프로토콜
한국통신학회논문지
2004 .12
정형 명세를 통한 보안 프로토콜 코드 생성
한국정보과학회 학술발표논문집
2004 .10
전자화폐지불시스템의 위험요소 분석 및 프로토콜 설계
한국전자거래학회지
1999 .06
0