1、 KS X 65135 KSKSKSKS SKSKSKS KSKSKS SKSKS KSKS SKS KS 5 : KS X 65135 ：2007 (ISO 102025：1998, IDT) (2012 ) 2007 11 30 http:/www.kats.go.krKS X 65135：2007 : e- ( ) ( ) () () ( ) : (http:/www.standard.go.kr) ： ：1995 12 26 ：2007 11 30 ：2012 12 28 ： e- 2012-0863 ： ( 02-509-7262) (http:/www.kats.go.kr). 1
2、0 5 , . KS X 65135：2007 (ISO 102025：1998, IDT)(2012 ) 5： Financial transaction cards Security architecture of financial transaction systems using integrated circuit cards Part 5 ：Use of algorithms 1998 1 ISO 102025, Financial transaction cardsSecurity architecture of financial transaction systems us
3、ing integrated circuit cardsPart 5：Use of algorithms , . 1 (ICC) SAM . . . , . 2 . . KS X 1207, KS X 65131, 1： KS X ISO 4909_2001, 3 KS X ISO/IEC 95641, (PIN) 1：ATM POS PIN KS X ISO 102022_2001, IC 2： KS X ISO 102024_2001, IC 4： (SAM) KS X ISO 102026, 6：KS X 65135：2007 2 KS X ISO 102027_2001, IC 7：
4、3 . 3.1 ( .) 3.2 3.3 . 3.4 . 3.5 , 3.6 () 3.7 3.8 , (initiator) 3.9 3.10 KS X 65135：2007 3 3.11 3.12 3.13 (one-way function). . . 3.14 3.15 3.16 (MAC) 3.17 3.18 3.19 , 3.20 (credentials) TTP ( ) 3.21 (reflection attack) (random) 3.22 KS X 65135：2007 4 3.23 3.24 (timeliness) (probe) 3.25 3.26 MAC . 3
5、.27 3 3.28 3 (TTP) 4 . 4.1 . A A Cert x A CID x A ( 2 ) Cred x X ( 1 ) k X X (K X , S X , P X ) K X X KID kx X k KID PX X S X /P X PBF0KS X ISO/IEC 95641 PIN 0 PBF1 KS X ISO/IEC 95641 PIN 1 R X X S X /P X X / TP TTP T val T X X KS X 65135：2007 5 Z/Z* Z Z* 4.2 . EA KE MA ME / PV PIN TC 4.3 a s m t 4.
6、4 . c d e g h m o s v . c(Y, Z) Y Z ： dK(Z) K Z dS X (Z) S X Z eK(Z) K Z eP X (Z) P X Z R=g( ) R h(Z) Z . h(Z). mK(Z) K MAC . MAC. vK(MAC) K MAC . . KS X 65135：2007 6 oK(Z) K Z sS X (Z) S X Z . Sig. vP X (Sig) P X Sig . . 4.5 , Z( ) . Z . sS A (Z) . sS A (Z) sS A (Z) sS A (h(Z)/Z) . h(Z) Z . 4.6 . K
7、S X 6511 ICC ICC SAM . . . ： (4.2) ： (4.3) ： 1 KEss 1 . . . | | | | ： ： ： | | ： ： ： Z f (4.4) 2 A | B | KID K | KID K * | eK*(KID K *) | eK(K*) 5 KS X ISO 10202 2, 4 6 1 . KS X 65135：2007 7 1 ICC kMprd MP kEprd EPICC kIctl IC IC CDF CDF / ADF KE KE kIctl IC kIctl ICCDF CDF CDF PIN PV EA EA EA kIenc
8、IC kIaut IkIaut C kIaut ICCDF MA ME TC kImac IC kIenc IC kIcer ICADF ADF ADF ADF KActl AC ADF / KE KE klkex IAkActl ACADF ADF ADF SAM PIN PV EA EA EA EA kAenc ACkAaut AkAaut CkAaut SC kAaut ACADF MA ME TC kAmac ACkAenc ACkAcer AC 6 . . , , , , . KS X 65135：2007 8 . 8 . . 5 . . . , . . , . 3(TTP) ( 1
9、 ). . , . . 6.1 1 ： ICC SAM() K S B . . , A B . 6.1.1 K* ( 1) KEss1 = A | B | KID K| KID K * | eK*(KID K *) | eK*(K*) K K* KID K K KID K * K* KS X 65135：2007 9 1 S1 A eK(K*) S2 1 ：A ek*(KID K *) S3 A KEss1 B S4 B K* dK(eK(K*) S5 1 ：B KID K * dK*(eK*(KID K *) S6 1 ：B KID K * K* 1 5 KID K * . S5 1 ：B
10、eK*(KID K *) S6 2 ：B eK*(KID K *) 2 1 . S2 1 ：A oK*(KID K *) S5 1 ：B oK*(KID K *) S6 1 ：B oK*(KID K *) 6.1.2 K* ( 2). A . KEssmt1 = B | A | KID K * | R B KEssmt2 = A | B | KID K| eK*(KID K *) | eK(R A ) K K* KID K K KID K * K* KS X 65135：2007 10 2 S1 B R B S2 B KEssmt1 A S3 A R A S4 A eK(R A ) S5 A
11、K* = eR A (R B ) S6 1 ：A eK*(KID K *) S7 A KEssmt2 B S8 B R A dK(eK(R A ) S9 B K* = eR A (R B ) S10 1 ：B KID K * dK*(eK*(KID K *) S11 1 ：B KID K * K* 1 10 KID K * . S10 1 ：B eK*(KID K *) S11 2 ：B eK*(KID K *) 2 1 . S6 1 ：A oK*(KID K *) S10 1 ：B oK*(KID K *) S11 1 ：B oK*(KID K *) 6.1.3 S B ( 3). . .
12、KEsa1 = A | B | KID K| KID PB| CID B| Cert B| eK(S B ) K S B /P B B / KID K K KID PB S B /P B CID BCert B KS X 65135：2007 11 3 S1 A Cert B S2 A eK(S B ) S3 A KEsa1 B S4 B S B dK(eK(S B ) S5 1 ：B Cert B P B S6 2 ：B dS B (eP B (B) = B S B /P B 6.1.4 K ( 4) , K . KEas1 = B | A | KID PB| CID B | Cert B
13、KEas2 = A | B | KID PA| CID A | Cert A| KID K| eK(KID K ) | eP B (sS A (K) S A /P A A / S B /P B B / K KID K K KID PA S A /P A KID PB S B /P B CID ACert A CID BCert B 4 KS X 65135：2007 12 S1 1 ：B KEas1 S2 1 ：A Cert B P B S3 A eP B (sS A (K) S4 2 ：A eK(KID K ) S5 A KEas2 S6 3 ：B Cert A P A S7 B K vP(
14、dS B (eP B (sS A (K) S8 2 ：B KID K dK(eK(KID K ) S9 2 ：B KID K K 1 8 KID K . S8 2 ：B eK(KID K ) S9 2 ：B eK(KID K ) 2 2 . S4 2 ：A oK(KID K ) S8 2 ：B oK(KID K ) S9 2 ：B oK(KID K ) 6.1.5 K ( 5). f , b (public base). P X= f(b, S X ) f(P X , S Y ) = f(P Y , S X ) . KEasm 1 = B | A | KID PRB| P RB KEasm 2
15、 = A | B | KID PRA| P RA| KID K| eK(KID K ) S RA /P RA A / S RB /P RB B / K KID K K KID PRA S RA /P RA KID PRB S RB /P RB KS X 65135：2007 13 5 S1 B S RB= g( ) S2 B P RB= f(b, S RB ) S3 B KEasm1 S4 A S RA= g( ) S5 A P RA= f(b, S RA ) S6 A K = f(P RB , S RA ) S7 1 ：A eK(KID K ) S8 B KEasm2 S9 B K = f(
16、P RA , S RB ) S10 1 ：B KID K dK(eK(KID K ) S11 1 ：B KID K K 1 . S7 1 ：A oK(KID K ) S10 1 ：B o K(KID K ) S11 1 ：B oK(KID K ) 6.1.6 K ( 6). A . KEasmt 1 = B | A | KID PB| CID B | Cert B | R B KEasmt 2 = A | B | KID PA| CID A | Cert A| KID K| eK(KID K ) | eP B (sS A (R A ) S A /P A A / S B /P B B / K K
17、ID K K KID PA S A /P A KID PB S B /P B CID ACert A KS X 65135：2007 14 CID BCert B 6 S1 B R B S2 B KEasmt1 S3 1 ：A Cert B P B S4 A R A S5 A eP B (sS A (R A ) S6 A K = eR A (R B ) S7 2 ：A eK(KID K ) S8 A KEasm2 S9 3 ：B Cert A P A S10 B R A vP A (dS B (eP B (sS A (R A ) S11 B K = eR A (R B ) S12 2 ：B K
18、ID K dK(eK(KID K ) S13 2 ：B KID K K 2 . S7 1 ：A oK(KID K ) S12 2 ：B o K(KID K ) S13 3 ：B oK(KID K ) 6.1.7 S B * ( 7). ICC . KEaa 1 = B | A | KID PB| CID B| Cert B KEaa 2 = A | B | KID PA| CID A| Cert A| KID PB * | CID B * | Cert B * | eP B (sS A (S B *) S A /P A A / KS X 65135：2007 15 S B /P B B / S
19、 B */P B * B / KID PA S A /P A KID PB S B /P B CID ACert A CID BCert B CID B * Cert B * 7 S1 1 ：B KEaa1 S2 1 ：A Cert B P B S3 A eP B (sS A (S B *) S4 A Cert B * S5 A KEaa2 S6 2 ：B Cert A P A S7 B S B * vP A (dS B (eP B (sS A (S B *) S8 3 ：B Cert B * P B * S9 3 ：B dS B *(eP B *(B) = B S B */P B * 6.2
20、 2 ： (EA) . . ICC SAM. B A . . / . . 6.2.1 / B ( 8) KS X 65135：2007 16 EAst1 = A | B | KID KB| R A EAst2 = B | A | eK B (R A ) K K B B KID KB K B 8 S1 A R A S2 A EAst1 B S3 1 ：B K B= eK(B) S4 B eK B (R A ) S5 B East2 A S6 A K B= eK(B) S7 A eK B (R A ) S8 A eK B (R A ) 1 . K B B . K A . EAst 1 = A | B | KID K| R A EAst 2 = B | A | eK(R A / A) S7 A eK B (R A / A) S8 A eK B (R A / A) 2 A K A . EAst 1 = A | B | KID K| eK A (R A )EAst 2 = B | A | eK B (R A ) S1 1 ：A K A = eK(A) S2 A R A S3 A eK A (R A ) S4 A EAst1 B S5 B K A = eK(A) S6 B R A dK A (eK A (R A )
