一种基于Petri网的分组密码体制的分析.ppt

一种基于Petri网的分组密码体制的分析 刘培顺 算法提出者： 吴哲辉 山东科技大学信息科学与工程学院 中国泰安 提纲 引言 Petri网理论 向量的全序化 密钥与加(解)密算法 算法性能及安全性分析 改进措施 1.引言 通过Petri网的运行、整数素因子分解和合成以及对整数和非负整数向量的排序来确定一个2K元置换，从而构建一个分组长度为k位的分组密码 该密码体制是一次一密的，分组长度k是可以改变的 2 Petri网理论—定义 定义1 三元式N=(S,T;F) 称作网，当且仅当 （1）S∪T≠?,S∩T= ? （2）F? (S?T)∪(T?S) （3）dom(F) ∪cod(F)= S∪T ? x? S∪T, 称 ˙x={ y | ( y ? S∪T ) ∧ (( y ,x ) ?F )} 和 x˙={ y | ( y ? S∪T ) ∧ ((x, y) ?F )} 分别称为x的前置集和后置集 2 Petri网理论—定义 定义2 四元式PN=(S,T;F,M0)称作Petri网,当且仅当 (1) N=(S,T;F)是一个网 (2) M:S→Z(非负整数集)为标识函数,其中M0是初始标识(初始状态) (3)引发规则: (3.1)变迁t?T称为状态M下使能的,当且仅当? s?˙t : M(p)≥1,记作; (3.2) 在M下是使能的变迁t可以引发状态变化,引发后得到后继标识M’,则 记作 2 Petri网理论 记R(M0)为Petri网PN 的从M0可达的所有状态集合,则称R(M0)为Petri网PN 的可达状态集合 2 Petri网理论—代数分析方法 PN的一个状态M可以用一个非负整数的m维向量表示(M(i)=M(pi)),仍记作M. 2 Petri网理论—代数分析方法 2 Petri网理论—代数分析方法 2 Petri网理论—代数分析方法 2 Petri网理论—代数分析方法 定理1 设A为N=(S,T;F)的关联矩阵,N为唯一可达向量网,当且仅当A是一个行满秩矩阵,即r(A)=|T|. 网N是结构有界网的充分必要条件是,存在m(M=|S|)维非负整数向量y,使得Ay≤0,其中A是网N的关联矩阵. 推论1 网N=(S,T;F)为一个结构无界的唯一可达向量网的充分必要条件是: (1)N的关联矩阵A的秩等于|T|. (2)不存在|S|维非负整数向量y,使得Ay≤0. 2Petri 网原理—图论分析方法 2Petri 网原理 例1 图1给出一个无界Petri网 2Petri 网原理 通过这个部分有向图可以看出： （1） RG|7(Σ)中没有有向回路。 （2）若从M0到某个Mi有多条有向路，那么这些有向路的长度都是相同的。而且尽管不同的路径对应的变迁序列不同，但它们出现数是相同的。 3向量的全序化 定义7向量的对角线序 3向量的全序化 定理2 3向量的全序化 定义6 非负整数向量的赋值序 3向量的全序化 4 密钥与加解密算法 系统参数 4 密钥与加解密算法 构造方法 4 密钥与加解密算法 密钥 本密码体制把密钥分成两部分：秘密传送部分和公开传送部分。秘密传送部分包括包括一个结构无界的唯一可达向量网N=(S,T;F)或者说是一个|T|行|S|列的(1,0,-1)-矩阵，该矩阵满足推论2.1中的两个条件，以及对网N的库所的一组|S|维赋值As={P1,P2,…,P|S| }，其中素数Pi对应库所si (i=1,2, …,|S|)。公开传送部分为3个整数：As(M0),l1,l2,其中As(M0)为根据|S|元赋值As计算出来 的初始标识M0的赋值 。一般地有0≤l1l2。 4 密钥与加解密算法 算法1 加密算法 输入： (1)网N的关联矩阵。 (2)|S|维赋值As={P1,P2,…,P|S|}。 (3)初始标识M0，M0应该选择使得(N, M0)为一个无界Petri网。 (4)明文x∈(0+1)n(即设x是一个n位(0,1)-码)，分组长度k(不妨设n=km)。 输出：AS(M0),l1,l2,y。其中y∈(0+1)n是明文x对应的密文。 4 密钥与加解密算法 算法步骤 4 密钥与加解密算法 解密算法 在解密算法中，把网结构N，对网N的库所赋值AS 以及接收到的 作为输入。初始标识M0和分组长度k在