基于区块链的电子病历共享与可验证方案

为解决传统电子病历存储方案共享难、数据易篡改和隐私泄露问题,为此构建一种基于区块链的电子病历可搜索加密存储、高效共享与可验证方案。通过使用简洁非交互零知识证明(zero-knowledge succinct non-interactive arguments of knowledge, zk-SNARKs)构建用户身份认证系统,提高用户身份的隐私性,匿名性。通过提出基于改进Merkle树的格可搜索加密方案,实现电子病历的可搜索加密与验证方案;并在此基础上通过智能合约构造搜索方案的双重验证。通过将相应的加密数据外包到星际文件系统(interplanetary file system, IPFS)以降低存储成本。通过实验对加密算法性能、智能合约时间和花费开销、链下存储性能进行仿真测试。验证了该系统能够满足电子病历系统应用需求,并提高了数据完整性、搜索效率性和身份保密性。     

企业应用系统整合中的CAS单点登录技术

针对企业应用系统单点登录的需要,提出一种基于中央认证服务器(CAS)的单点登录技术方案.系统中,认证管理器通过责任链模式管理认证执行者,客户端浏览器与认证服务器之间采用HTTPS协议,认证服务器与平台应用服务器之间采用HTTP协议.在访问业务系统时,相关信息的传递均结合时间戳、关键信息加密签名和SSL加密通道技术.在自动认证完成后,业务系统可根据需要设定是否继续走安全套接层协议(SSL)加密通道,既保证单点登录过程中信息传递的保密性和真实性.又兼顾业务系统访问的安全与效率.     

孪生组合恒等式(十一)--级数类型

数论上的Fibonacci数与Lucas数和无穷级数的知识相结合获得孪生幂级数定理以及6组孪生组合恒等式.     

基于量子隐形传态局域网通信的身份认证

多用户在同一通信终端通信认证时,由于用户之间没有明确的优先级别限制,在相同时间内“盲目竞争”获取认证信息,造成经典信道拥堵.为了避免因通信用户之间的冲突或闲置带来的网络资源的浪费,结合令牌环技术和量子隐形传态通信技术,提出了量子隐形传态局域网内各通信站点间实现优先级预约及身份信息核实的认证方案.此方案可实现通信网络的规范有序运行,减少网络资源的浪费,缩短通信时延,提高身份认证效率.     

环F_2+uF_2+…+u~kF_2上线性码的MacWilliams恒等式

定义了环(F2+uF2+…+ukF2)n到F2(k+1)n的一种新的Gray映射及线性码李重量分布.利用二元线性码及其对偶码的重量分布关系和新的Gray映射,建立了环F2+uF2+…+ukF2上线性码及其对偶码之间多种重量分布的Mac Williams恒等式.     

基于IBC策略驱动的组播内容分发方案

针对内容分发应用中的组播加密方案和多接收者加密方案所存在的动态组密钥管理复杂、计算和通信代价高等问题,分析了内容分发系统的典型安全需求,采用基于身份密码学提出了一种新的面向群组的安全内容分发系统模型与方案,经安全性与性能分析表明,方案满足接收方访问控制、发送方鉴别与防抵赖、策略加密等安全要求。将发送方的计算和通信代价降为O(1),同时具有密钥管理简单、组密钥更新开销小和易于实现等特点,能方便地应用于商业的组播内容分发系统。     

有关Bell多项式与Jacobsthal数的恒等式

通过研究Bell多项式矩阵与Jacobsthal矩阵之间的关系,得到了Jacobsthal数的一些性质,并且得到了一些重要的组合恒等式.     

论《人间孤儿》与台湾文化身份的建构

台湾戏剧《人间孤儿》植根于台湾人社会历史变迁中逐渐形成的主体意识,并进一步表达了对这一主体身份的诉求。戏剧运用叙述、拼贴等后现代手法,以及对历史叙述的解构和重构,通过对现实的批判和观照,试图建构台湾的文化身份。然而,这些解构性极强的形式技巧却以落入另一种意识形态而告终,所谓台湾文化身份仍然是一个悬而未决的问题。     

拓扑学基本思想的哲学意义初探

拓扑学的基本思想在于从连续变化中寻找拓扑不变性和不变量。其哲学意义在于：一方面将因果作用关系和时空关系统一起来,为建立基于＂流变＂基础上的可知论和同一性理论提供了结构工具,克服休谟以来的语言哲学为主的认识论的根本缺陷,使现代认识论最终摆脱实体观的本体基础,而成为奠基于流变本体上的科学认识论;另一方面能够理性地理解精神的流动变化和不确定性,从而提供统一理性主义和非理性主义、事实和价值、自然科学和人文科学的结构工具。     

"互反型"标度的一致性比较

论证了几种常用的"互反型"标度下,判断矩阵的完全一致性互不相容,并研究了这几种标度下,严格一致性等同范式在另一种"互反型"标度下的一致性比例值,给出达到满意一致的矩阵所占的百分比,得出使用an(a8=9)指数标度更为合理的结论.