专利名称：：一种实现s-盒线性变换的方法
技术领域：
：本发明属于信息安全领域，具体涉及到密码算法中一种实现s-盒线性变换的方法。
背景技术：
：密码算法是实现信息安全的重要基础，一种加密算法可以在一定环境下提供数据内容的机密性保护，实现数据完整性保护以及消息来源的认证。但密码算法的设计存在安全性和实现性能的折衷。安全性反映攻击该算法所花的代价，通常用破译所需要的计算量和数据量等来描述，当然与破译方法直接相关，而实现性能则从两个方面反映出来硬件实现性能和软件实现性能。硬件实现性能除了算法实现速度外，还考虑硬件实现代价，这些都是硬件实现的性能指标。软件实现时主要考虑算法实现速度和存储要求，当然有时候还对可执行代码以及源代码的大小有要求。密码算法的设计在近年来得到很大的发展，国际上的学者们已经设计出多种密码算法，有些被发现存在某些安全漏洞，有些具有较好的安全性和实现性能。中国的商业需求也对具有自主知识产权的密码算法有很大需求。中国自主研发的SMS4密码算法就是一种为无线局域网产品使用所设计的分组密码算法，也是国内第一个公布的商用分组密码算法。目前密码算法设计的常用方法是使用S-盒变换。S-盒是一个满足一定密码学性质的非线性变换，其目的是对输入消息进行置乱，使之充分混合。在设计中，s-盒通常对一个消息组进行置乱，而输入消息组的大小直接决定s-盒设计和实现的困难程度。显然，处理大消息块的s-盒实现起来代价很大，无论硬件还是软件实现都需要耗费很大资源，因此在具体设计这种大s-盒时，通常是划分为多个小的s-盒，然后将这些小s-盒的输出结果在线性变换混合器中进行一定程度的混合(如图1所示)。在SMS4分组密码加密方法中，其轮变换所使用的就是一个32X32阶S-盒，但因为这仍然是个不容易实现的大S-盒，因此具体实现时使用了4个8X8阶S-盒，然后通过线性变换混合器混将这几个S-盒的输出结果混合到一起。不仅在分组密码的设计中使用S-盒变换，在许多流密码的设计中也使用了s-盒。同样为了使用小的s-盒来达到整体上类似于大s-盒变换的目的，一种常用手段是使用一种快速的线性变换将这些小s-盒的输出结果混合在一起。这种线性变换的作用就是一个线性混合器。在选择线性变换时，试验表明，对32比特字的线性变换，形如L(x)=xe(x〈〈〈a)④(x〈《b)0(x<〈〈c)④(x〈<〈d)的变换可以达到字节级的最佳差分分支数，而且实现简单。这里的变元x是一固定长度为n比特的整数变量，a，b，c，(1为小于!1的不同正整数，运算符号"<<<"表示左循环移位算子，""为整数的对应比特异或运算。在SMS4分组密码中，所使用的线性模块是一种对32比特字的线性变换，其输入是来自4个8X8阶S-盒的输出。该线性变换可具体表示为L(x)=x@(x《〈2)@(x《〈10)十(x〈《18)④(x《〈24)。但是要要实现线性模块4<formula>formulaseeoriginaldocumentpage5</formula>的运算，如果直接从变换的表达式上看，需要4次循环移位和4次整数的异或运算。在硬件实现时需要4个循环移位电路和4个异或门。
发明内容本发明提供了一种实现S-盒线性变换的方法，本发明给出4种不同的方法来实现，使之通过3次循环移位和3次整数的异或运算就可以完成线性变换，使得实现S-盒的方法变的更为高效。本发明的技术方案概述如下—种实现S-盒线性变换的方法，其步骤包括1)将S-盒划分为多个小S-盒，将S-盒的输入数据也分为多个块，分别为小S-盒输入数据；2)将上述小S-盒的输出结果合并为一个n比特的数据块x，作为线性变换混合器L(x)=x@(x《〈a)0(x〈《b)@(x〈〈<c)④&<〈〈(1)的输入，其中参数a、b、c和d可以互换，且均为小于n的不同正整数，<<<表示左循环移位算子，e表示比特异或运算符；3)当L(x)的参数a、b、c和d满足其中两个数之和等于另外两个数之和时，使用下述方法一进行计算(1)计算71=乂0&〈〈<11);(2)计算y2二yl0(yl〈《v);(3)计算"乂)=乂@^2〈〈^);所述u，v，w均为小于n的不同正整数，且满足下列方程组，其中，u和v可以互换a=w6=wwc=vw当L(x)的参数a、b、c和d满足其中一个数是另外两个数之和时，使用下述方法二进行计算，其中，u和v可以互换(1)计算yl-x0(x〈《u);(2)计算y2，ie(yl《〈v);(3)计算L(x)二y20(x〈《w);所述u，v，w均为小于n的不同正整数，且满足下列方程组a=wZ=vc=w=M十V4)计算出L(x)结果即为完成线性变换，实现S-盒输出。进一步，L(x)的参数a、b、c和d满足其中两个数之和等于另外两个数之和在模n算下成立:(2)计算y2:x④(yl《〈v);(3)计算L(x)=y1@(y2《〈w);所述u，v，w均为小于n的不同正整数，且满足下列方程组当L(x)的参数a、b、c和d满足其中两个数之和等于另外两个数之和时，使用下述方法四计算(1)计算ytxe(xK(u);(2)计算y2二x④(yl〈《v);(3)计算L(x)^y20(yl《〈w);所述u，v，w均为小于n的不同正整数，且满足下列方程组<formula>formulaseeoriginaldocumentpage6</formula>4)计算出L(x)结果即为完成线性变换，实现S-盒输出。进一步，L(x)的参数a、b、c和d满足其中两个数之和等于另外两个数之和在模n运算下成立:进一步，L(x)的参数a、b、c和d满足其中一个数是另外两个数之和在模n(运算所述方法三对n比特长整数进行左循环移k位时，可以等价于右循环移n-k位，其中k为小于n的正整数。所述方法四对n比特长整数进行左循环移k位时，可以等价于右循环移n-k位，其中k为小于n的正整数。本发明上述的实现S盒线性变换的方法能够带来如下的技术效果1、本发明通过对现有技术的线性变换混合器中的4次循环移位和4次整数的异或运算，简化为本发明的3次循环移位和3次整数的异或运算来完成，在硬件实现时由原来的4个循环移位电路和4个异或门减少为3个循环移位电路和3个异或门，在效率上节省开支25%。在软件实现上也同样节省计算代价。2、采用多个小S-盒和线性变换混合器来实现大S-盒加密的功能，在硬件实现和软件实现上都节约大量资源，而对密码学性质却可以很大程度地保留。图1现有技术中S-盒实现方法的流程示意图；图2本发明在线性变换混合器中采用方法一实现线性混合的流程示意图；图3本发明在线性变换混合器中采用方法二实现线性混合的流程示意图；图4本发明在线性变换混合器中采用方法三实现线性混合的流程示意图；图5本发明在线性变换混合器中采用方法四实现线性混合的流程示意图。具体实施例以下结合附图对本发明进行详细说明，但不构成对本发明的限制。实现S-盒的方法流程如图1所示，包括如下步骤1)根据S-盒所满足的密码学性质，将大S-盒划分为多个小S-盒；所述S-盒的输入数据也分为多个块，分别为这些小s-盒的输入数据。2)将上述小S-盒的输出结果合并为一个n比特的数据块x，然后通过线性变换混合器L(x)=x(x〈《a)@(x《〈b)④(x《〈c)@&〈〈<01)进行混合，线性变换中的参数a、b、c和(1是可以互换的，均为小于11的不同正整数，<<<是左循环移位算子，0为比特异或运算符，n理论上可以取任意整数值，在实际计算机应用上取计算机容易处理的数值，如8、32、64、128、256等。针对上述线性变换L(x)，当其中的参数a、b、c和d满足其中两个数之和等于另外两个数之和时，可使用本发明的方法一或方法四，当满足其中一个数是另外两个数之和时，可使用本发明的方法二或方法三。注意上述参数所满足的关系只要在模n运算下(除n取余)成立即可。具体地，本发明的"方法一"如图2所示，包括如下步骤(1)计算y^x④(x〈《u);(2)计算72=71出^1<〈〈￥);(3)计算1^&)^@^2<<<^)，该结果即为最终5-盒输出。在上述方法中，首先根据a，b，c，d的值计算u，v，w的取值。在本方法中，u，v，w与a，b，c，d的关系满足下列方程组7<formula>formulaseeoriginaldocumentpage8</formula>上述方程组可能没有解，也可能解不唯一。但当有解时，任意一组解都可以。实验表明，只要数组a，b，c，d满足关系a+d=b+c，上述方程组总存在关于u，v，w的解。显然当存在解时，u和v可以互换，即上述方程组的解总是成对出现的(除非b=c)。注意a，b，c，d是没有次序的，而且关系a+d=b+c只要在模n运算下成立即可。本发明的"方法二"如图3所示，包括如下步骤(1)计算yl:x0(x《〈u);(2)计算72=71@^1〈〈<^;(3)计算[^00，2@("〈〈\0，该结果即为最终S-盒输出。在上述方法中，首先根据a，b，c，d的值计算u，v，w的取值。在本方法中，u，v，w与a，b，c，d的关系满足下列方程组a=w6=vc=w=w十v上述方程组可能没有解，也可能解不唯一。很明显，上述方程组总存在关于u，v，w的解的充分必要条件是满足d=a+b。注意数组a，b，c，d是不分次序的，因此只要它们中的某个数是另外两个数的和，上述方程组都有关于u，v，w的解。注意关系d=a+b只要在模n运算下成立即可。同样可以看到，当上述方程组有解时，u和v可以互换，即上述方程组的解总是成对出现的(除非a=b)。本发明的"方法三"如图4所示，包括如下步骤(1)计算71=乂&〈〈〈11);(2)计算72=乂@^1〈《^);(3)计算1&)=乂1@(72〈〈)，该结果即为最终S-盒输出。在上述方法中，首先根据a，b，c，d的值计算u，v，w的取值。在本方法中，u，v，w与a，b，c，d的关系满足下列方程组a=w6=wC=Vw乂=WVw上述方程组可能没有解，也可能解不唯一。很明显，上述方程组总存在关于u，v，w的解的充分必要条件是满足d=a+c。注意数组a，b，c，d是不分次序的，因此只要它们中的某个数是另外两个数的和，上述方程组都有关于u，v，w的解。注意关系d=a+c只要在模n运算下成立即可。同样可以看到，当上述方程组有解时，通过将a和c对换，可以得到关于u，v，w的另一组解，即上述方程组的解总是成对出现的。本发明的"方法四"如图5所示，包括如下步骤8(1)计算ytx0(x〈《u);(2)计算72=乂出^1〈〈<￥);(3)计算"^=72@^1《^)，该结果即为最终5-盒输出。在上述方法中，首先根据a，b，c，d的值计算u，v，w的取值。在本方法中，u，v，w与a，b，c，d的关系满足下列方程组a=v6=vv述方程组可能没有解，也可能解不唯一。实验表明，当满足a+d=b+c时，上述方程组总存在关于u，v，w的解。注意数组a，b，c，d是不分次序的，而且关系a+d=b+c只要在模n运算下成立即可。同样可以看到，当上述方程组有解时，可以将v和w对换，即上述方程组的解总是成对出现的。对使用上述方法中的任何一种完成的线性变换，将其应用于几个小s-盒的输出，则线性变换的最终输出可以看作一个由多个小S-盒实现的大S-盒的输出，这样就完成了s-盒实现的全过程。下面举例说明在SMS4分组密码的加密方法中，线性变换混合器是一种对32比特字的线性变换，其输入是来自4个8X8阶小S-盒的输出。下面主要列举S-盒实现方法的线性变换混合器中实现线性变换的方法，前两个线性模块的最小差分分支数均为5，后两个线性模块的最小差分分支数均为4。实施例1:假定4个8X8阶的小S-盒的输出结果为4个8比特数组，它们合并成为32比特的数组x。该数组作为线性变换混合器L(x)=x(x《<2)@(x《<10)(x〈<<18)(x《〈24)的输入，因为线性变换中的参数满足10=18+24mod32，则可以使用本发明的如图3所示的方法二，通过下列步骤实现(1)计算yl:x④(x《〈18);(2)计算y2，10(y1《〈24);(3)计算"力=72@"〈《10)，该结果即为最终5-盒输出。因方法二中u和v可以互换，因此也可以通过下列步骤实现(1)计算y^x0(x《〈24);(2)计算y2:yl④(yK《18);(3)计算L(x^y2e(x《〈10)，该结果即为最终S-盒输出。上述线性变换式也可使用本发明的如图4所示的第3种线性变换方法来实现，其步骤为(1)计算y^x④(x〈《18);(2)计算y2二x④(yK《22);(3)计算L(x)=yl@(y2〈《2)，该结果即为最终S-盒输出。因方法三中a和c可以互换，也可以通过下列线性变换步骤实现(1)计算yl^x④(x〈《24);(2)计算y2:x④(yl《〈16);(3)计算L(x)=yl@(y2《〈2)，该结果即为最终S-盒输出。9实施例2:假定4个8X8阶的小S-盒的输出结果为4个8比特数组，它们合并成为32比特的数组x。该数组作为线性变换混合器L(x)=x0(x<〈〈8)e(x《<10)@(x《〈18)e(x《〈26)的输入，因为线性变换中的参数满足关系18=8+10，则可以使用本发明的如图3所示的方法二，通过下列步骤实现(1)计算yl:xe(X《〈8);(2)计算y2二yl①(yl《〈10);(3)计算1^00=72@&〈〈〈26)，该结果即为最终5-盒输出。因为方法二中U和V可以互换，因此也可以通过下列步骤实现(1)计算71=乂@&〈<〈10);(2)计算乂2=乂1@"1〈<〈8);(3)计算L(x^y2④(x《〈26)，该结果即为最终S-盒输出。上述线性变换也可使用本发明的如图4所示的第三种方法来实现，其步骤为(1)计算71^@&〈<〈18);(2)计算y2二x0(yl〈《16);(3)计算L(x^yl④(y2《〈26)，该结果即为最终S-盒输出。方法三中a和c可以互换，因此也可以通过下列步骤实现(1)计算yl^x④(x〈《10);(2)计算y2二x十(yl《〈14);(3)计算L(x)，10(y2〈《26)，该结果即为最终S-盒输出。实施例3:假定4个8X8阶的小S-盒的输出结果为4个8比特数组，它们合并成为32比特的数组x。该数组作为线性变换混合器L(x)(x《<3)④(x《<l1)@(x〈〈<17)④(x《〈25)的输入，因为线性变换中的参数满足3+25=11+17，则可以使用本发明的如图2所示的方法一，通过下列步骤实现(1)计算y^x④(x《〈8);(2)计算y2:yl十(yK《14);(3)计算L(x)^x④(y2《〈3)，该结果即为最终S-盒输出。因方法一中u和v可以互换，因此也可以通过下列步骤实现(1)计算y^x0(x《〈14);(2)计算y2^yl④(yl《〈8);(3)计算1^00^@^2〈〈<3)，该结果即为最终3-盒输出。上述线性变换也可使用本发明的如图5方法四来实现，其步骤为(1)计算71=乂&〈〈〈14);(2)计算y2:x④(yl<<<3);(3)计算")0=72@^1〈〈<11)，该结果即为最终5-盒输出。因方法四中可以将V和W对换，因此也可以通过下列步骤实现(1)计算71=乂@&<<〈14);(2)计算乂2=乂(71〈<〈11);(3)计算")0，2@(71〈〈<3)，该结果即为最终5-盒输出。实施例4:假定4个8X8阶的小S-盒的输出结果为4个8比10特数组，它们合并成为32比特的数组x。该数组作为线性变换混合器L(x)=x(x〈《3)出(x《<8)@(x《<15)(x《〈28)的输入，因为线性变换中的参数满足关系3+8=15+28mod32，则使用本发明的方法一，我们可以通过下列步骤实现(1)计算y^x0(x《〈20);(2)计算乂2=乂1@(乂1<〈<25);(3)计算L(x)^④(y2《〈15)，该结果即为最终S-盒输出。方法一中的u和v可以互换，因此也可以通过下列步骤实现(1)计算y^xe(x〈《25);(2)计算72=乂10^1〈〈〈20);(3)计算")()=^^2〈<〈15)，该结果即为最终5-盒输出。上述线性变换也可使用本发明的如图5方法四来实现，其步骤为(1)计算yPxe(x〈《25);(2)计算y2:x0(y1《〈3);(3)计算1^00=72@^1<〈<15)，该结果即为最终5-盒输出。方法四中v和w可以对换，因此也可以通过下列步骤实现(1)计算yl:x④(x〈《25);(2)计算72=乂@^1《〈15);(3)计算L(x^y2④(yl《〈3)，该结果即为最终S-盒输出。以上通过具体实施例详细描述了本发明所提供的方法，本领域的技术人员应当理解，在不脱离本发明实质的范围内，可以对上述的方法进行各种修改或变形。比如对32比特长整数进行左循环移k位时，可以等价于右循环移32-k位，因此x<<<25等价于x>>>7，yl<<<3等价于yl>>>29。但显然本发明的具体实现形式并不局限于此，在n取其他值如64、128的时候也可以实现，在不背离本发明所述方法的精神和权利要求范围的情况下对它进行的各种显而易见的改变都在本发明的保护范围之内。权利要求一种实现S-盒线性变换的方法，其步骤包括1)将S-盒划分为多个小S-盒，将S-盒的输入数据也分为多个块，分别为小S-盒输入数据；2)将上述小S-盒的输出结果合并为一个n比特的数据块x，作为线性变换混合器的输入，其中n为正整数，参数a、b、c和d能够互换，且均为小于n的不同正整数，＜＜＜表示左循环移位算子，表示比特异或运算符；3)当L(x)的参数a、b、c和d满足其中两个数之和等于另外两个数之和时，使用下述方法一进行计算(1)计算<mrow><mi>y</mi><mn>1</mn><mo>=</mo><mi>x</mi><mo>⊕</mo><mrow><mo>(</mo><mi>x</mi><mo><</mo><mo><</mo><mo><</mo><mi>u</mi><mo>)</mo></mrow><mo>;</mo></mrow>(2)计算<mrow><mi>y</mi><mn>2</mn><mo>=</mo><mi>y</mi><mn>1</mn><mo>⊕</mo><mrow><mo>(</mo><mi>y</mi><mn>1</mn><mo><</mo><mo><</mo><mo><</mo><mi>v</mi><mo>)</mo></mrow><mo>;</mo></mrow>(3)计算<mrow><mi>L</mi><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow><mo>=</mo><mi>x</mi><mo>⊕</mo><mrow><mo>(</mo><mi>y</mi><mn>2</mn><mo><</mo><mo><</mo><mo><</mo><mi>w</mi><mo>)</mo></mrow><mo>;</mo></mrow>所述u，v，w均为小于n的不同正整数，且满足下列方程组，其中，u和v能够互换<mrow><mfencedopen='{'close=''><mtable><mtr><mtd><mi>a</mi><mo>=</mo><mi>w</mi></mtd></mtr><mtr><mtd><mi>b</mi><mo>=</mo><mi>u</mi><mo>⊕</mo><mi>w</mi></mtd></mtr><mtr><mtd><mi>c</mi><mo>=</mo><mi>v</mi><mo>⊕</mo><mi>w</mi></mtd></mtr><mtr><mtd><mi>d</mi><mo>=</mo><mi>u</mi><mo>⊕</mo><mi>v</mi><mo>⊕</mo><mi>w</mi></mtd></mtr></mtable></mfenced><mo>;</mo></mrow>当L(x)的参数a、b、c和d满足其中一个数是另外两个数之和时，使用下述方法二进行计算，其中，u和v能够互换(1)计算<mrow><mi>y</mi><mn>1</mn><mo>=</mo><mi>x</mi><mo>⊕</mo><mrow><mo>(</mo><mi>x</mi><mo><</mo><mo><</mo><mo><</mo><mi>u</mi><mo>)</mo></mrow><mo>;</mo></mrow>(2)计算<mrow><mi>y</mi><mn>2</mn><mo>=</mo><mi>y</mi><mn>1</mn><mo>⊕</mo><mrow><mo>(</mo><mi>y</mi><mn>1</mn><mo><</mo><mo><</mo><mo><</mo><mi>v</mi><mo>)</mo></mrow><mo>;</mo></mrow>(3)计算<mrow><mi>L</mi><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow><mo>=</mo><mi>y</mi><mn>2</mn><mo>⊕</mo><mrow><mo>(</mo><mi>x</mi><mo><</mo><mo><</mo><mo><</mo><mi>w</mi><mo>)</mo></mrow><mo>;</mo></mrow>所述u，v，w均为小于n的不同正整数，且满足下列方程组<mrow><mfencedopen='{'close=''><mtable><mtr><mtd><mi>a</mi><mo>=</mo><mi>u</mi></mtd></mtr><mtr><mtd><mi>b</mi><mo>=</mo><mi>v</mi></mtd></mtr><mtr><mtd><mi>c</mi><mo>=</mo><mi>w</mi></mtd></mtr><mtr><mtd><mi>d</mi><mo>=</mo><mi>u</mi><mo>⊕</mo><mi>v</mi></mtd></mtr></mtable></mfenced><mo>;</mo></mrow>4)计算出L(x)结果即为完成线性变换，实现S-盒输出。F2009102369823C0000011.tif,F2009102369823C0000012.tif2.如权利要求1所述的方法，其特征在于，L(x)的参数a、b、c和d满足其中两个数之和等于另外两个数之和在模n运算下成立。3.如权利要求1所述的方法，其特征在于，L(x)的参数a、b、c和d满足其中一个数是另外两个数之和在模n运算下成立。4.如权利要求1所述的方法，其特征在于，所述方法一对n比特长整数进行左循环移k位时，等价于右循环移n-k位，其中k为小于n的正整数。5.如权利要求1所述的方法，其特征在于，所述方法二对n比特长整数进行左循环移k位时，等价于右循环移n-k位，其中k为小于n的正整数。6.—种实现S-盒线性变换的方法，其步骤包括1)将S-盒划分为多个小S-盒，将S-盒的输入数据也分为多个块，分别为小S-盒输入数据；2)将上述小S-盒的输出结果合并为一个n比特的数据块x，作为线性变换混合器L(x)=x@(x《〈a)@(x〈〈〈b)④(x《〈c)(x《〈d)的输入，其中n为正整数，参数a、b、c和d能够互换，且均为小于n的不同正整数，<<<表示左循环移位算子，0表示比特异或运算符；3)当L(x)的参数a、b、c和d满足其中一个数是另外两个数之和时，使用下述方法三计算(1)计算y^x出(x《〈u);(2)计算y2二x十(yl《〈v);(3)计算1^(力=71@^2<〈^);所述u，v，w均为小于n的不同正整数，且满足下列方程组，其中，a和c能够互换a=w6=wc=v十w当L(x)的参数a、b、c和d满足其中两个数之和等于另外两个数之和时，使用下述方法四计算(1)计算71^0&〈〈〈11);(2)计算72^@^1〈<^);(3)计算L(x)二y2十(yl《〈w);所述u，v，w均为小于n的不同正整数，且满足下列方程组，其中，v和w能够互换<formula>formulaseeoriginaldocumentpage0</formula>4)计算出L(x)结果即为完成线性变换，实现S-盒输出。7.如权利要求6所述的方法，其特征在于，L(x)的参数a、b、c和d满足其中两个数之和等于另外两个数之和在模n运算下成立。8.如权利要求6所述的方法，其特征在于，L(x)的参数a、b、c和d满足其中一个数是另外两个数之和在模n运算下成立。9.如权利要求6所述的方法，其特征在于，所述方法三对n比特长整数进行左循环移k位时，等价于右循环移n-k位，其中k为小于n的正整数。10.如权利要求6所述的方法，其特征在于，所述方法四对n比特长整数进行左循环移k位时，等价于右循环移n-k位，其中k为小于n的正整数。全文摘要本发明公开了一种实现S-盒线性变换的方法，其实现的过程为将S-盒划分为多个小S-盒，将S-盒的输入数据也分为多个块，分别为小S-盒输入数据；将上述小S-盒的输出结果合并为一个n比特的数据块x，作为线性变换混合器的输入；然后给出4种不同的方法来实现上述过程，使之通过3次循环移位和3次整数的异或运算完成线性变换；计算出L(x)结果即为完成线性变换，实现S-盒输出。本发明在硬件实现时由原来的4个循环移位电路和4个异或门减少为3个循环移位电路和3个异或门，在效率上节省开支25％。在软件实现上同样节省了计算代价。文档编号H04L9/00GK101719823SQ20091023698公开日2010年6月2日申请日期2009年10月30日优先权日2009年10月30日发明者吴文玲,武传坤申请人:中国科学院软件研究所