检索结果-南通市图书馆

维普期刊数据库

Securing Cloud Storage by Remote Data Integrity Check with Secured Key Generation

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2021年第3期30卷 489-499页

作者： Abdul Rehman LIU Jian Muhammad Qasim Yasin LI Keqiu College of Intelligence and Computing Tianjin University Tianjin Key Laboratory of Advance Networking National University of Modern Languages Faisalabad Campus

In recent decades, a number of protocols for Remote data integrity checking(RDIC) have been proposed. Identity(ID) based RDIC protocols are constructed to guarantee cloud data integrity and data privacy. The known protocols for RDIC always assume that the Private key generator(PKG) is a trusted one, but in real-world applications by corrupt PKG, malicious Cloud server(CS) can easily cheat the third party auditor that the data owner’s outsourced data are kept safe through the data has been deleted or altered. In this paper, we explore the novel model of RDIC with untrusted PKG and malicious CS, by employing the partial key method and Authentication, authorization, accounting(AAA) *** construct a new ID-based RDIC, which provides the ID revocation and key updation. The experimental evaluations show that our scheme is more efficient than known ones.

关键词： key updation outsourcing storage management cryptographic protocols secured key generation private key cryptography data integrity Remote data integrity check public key cryptography data privacy RDIC protocols Remote data integrity checking cloud computing data owner Cloud storage Private key generator known protocols partial key method ID-based RDIC cloud data integrity malicious Cloud server

LOPE: A Low-Overhead Payment Verification Method for Blockchains

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2021年第2期30卷 349-358页

作者： ZHANG Ying HE Zhengyuan JIA Linpeng DING Donghui ZHANG Hanwen SUN Yi School of Software Engineering Tongji University Blockchain Lab Institute of Computing Technology Chinese Academy of Sciences School of Computer Science and Technology University of Chinese Academy of Sciences

With its characteristics of decentralization,security, data traceability, and tamper-resistance, the blockchain has been widely used in various *** the difference in the performance of the devices, the light client is proposed so that devices without the ability to store a full blockchain copy can also participate in the blockchain transactions. However,the light client has to communicate with full nodes and verify the authenticity of a transaction which brings in some extent of communication, computation, and storage overheads to the light client. These overheads cannot be ignored for some low-performance devices, such as embedded devices or Io T chips, and therefore the current light client scheme does not work in this situation. We propose LOPE(a Low-overhead payment v Erification method) for poor-capacity nodes in the blockchain *** LOPE, a grouping protocol is designed to partition full nodes into groups to serve the verification requests of the light client. In addition, Practical byzantine fault tolerance(PBFT) is used to ensure the light client to get a credible result in spite of a few dishonest nodes existing in the group. We conduct LOPE and evaluate it in a testbed. The experiment results show that LOPE reduces more than half of the communication overhead, degrades the computation overhead of the light client to a large extent, and avoids the storage overhead of the hash roots of block headers in the light client. We also conduct theoretical analysis to show the performance improvement and security issues of LOPE.

关键词： current light client scheme storage overhead blockchains Low-overhead payment vErification method peer-to-peer computing software fault tolerance electronic money data integrity LOPE low-performance devices cryptographic protocols fault tolerance blockchain transactions

Proving Mutual Authentication Property of RCIA Protocol in RFID Based on Logic of Events

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2022年第1期31卷 79-88页

作者： ZHONG Xiaomei XIAO Meihua ZHANG Tong YANG Ke LUO Yunxian School of Software East China Jiaotong University

The increasing commercialization and massive deployment of radio frequency identification(RFID) systems has raised many security related issues which in return evokes the need of security protocols. Logic of events theory(Lo ET) is a formal method for constructing and reasoning about distributed systems and protocols that involve concepts of security. We propose fresh ciphertext and ciphertext release lemmas to extend Lo ET for analyzing and proving the security of authentication protocols that use symmetric key cryptography more than just digital signature. Based on the extended Lo ET we formally analyze and prove the authentication property of RCIA protocol, which provides mutual authentication between Tag and Reader in RFID *** proof approach based on extended Lo ET could be applied to the design and analysis of such ultralightweight RFID mutual authentication protocols.

关键词： logic of events theory mutual authentication property private key cryptography fresh ciphertext telecommunication security distributed systems ultralightweight RFID mutual authentication protocols radio frequency identification systems LoET radiofrequency identification formal method massive deployment symmetric key cryptography cryptographic protocols RCIA protocol security protocols

Secure Scalar Product protocols

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2021年第6期30卷 1059-1068页

作者： LI Shundong ZHANG Mengyu XU Wenting School of Computer Science Shaanxi Normal University

Secure scalar product computation is a special secure multi-party computation problem. A secure scalar product protocol can be used by two parties to jointly compute the scalar product of their private vectors without revealing any information about the private vector of either party. Secure scalar product protocol is of great significance in privacy-preserving scientific computing, privacy preserving data mining, privacypreserving cooperative statistical analysis and privacypreserving geometry computation, etc. Many privacy preserving computing problems can be transformed to secure scalar product computation. At present, existing scalar product protocols cannot be used to privately compute scalar product of private vectors with both positive and negative components. Based on homomorphic encryption scheme, we design three protocols to compute scalar product of three different kinds of private *** components of the first kind vector are arbitrary integers; those of the second kind are positive rational numbers and those of the third kind are arbitrary rational numbers. We use simulation paradigm proving that the protocols are secure in the semi-honest model. Theoretical analysis and experimental results show that the protocols designed in this paper are efficient.

关键词： cryptography protocols secure scalar product computation scalar product protocols secure scalar product protocol data mining privacy-preserving cooperative statistical analysis privacy-preserving scientific computing private vector computing problems statistical analysis cryptographic protocols special secure multiparty computation problem data privacy

Confidential machine learning on untrusted platforms:a survey

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Cybersecurity 2021年第1期4卷 461-479页

作者： Sharma Sagar Chen Keke Northwestern Mutual Data Science Associate Professor Director of Trustworthy and Intelligent Computing Lab Department of Computer Science Marquette University Milwaukee WisconsinUSA HP Inc. USA

With the ever-growing data and the need for developing powerful machine learning models,data owners increasingly depend on various untrusted platforms(e.g.,public clouds,edges,and machine learning service providers)for scalable processing or collaborative ***,sensitive data and models are in danger of unauthorized access,misuse,and privacy compromises.A relatively new body of research confidentially trains machine learning models on protected data to address these *** this survey,we summarize notable studies in this emerging area of *** a unified framework,we highlight the critical challenges and innovations in outsourcing machine learning *** focus on the cryptographic approaches for confidential machine learning(CML),primarily on model training,while also covering other directions such as perturbation-based approaches and CML in the hardware-assisted computing *** discussion will take a holistic way to consider a rich context of the related threat models,security assumptions,design principles,and associated trade-offs amongst data utility,cost,and confidentiality.

关键词： Confidential computing cryptographic protocols Machine learning

Breaking and Repairing the Certificateless Key Agreement Protocol from ASIAN 2006

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2008年第5期13卷 562-566页

作者： XIA Liang WANG Shengbao SHEN Jiajun XU Guoming Computing Center Artillery Academy of PLA Hefei230031 Anhui China Department of Computer Science and Engineering ShanghaiJiao Tong University Shanghai 200030 China

The certificateless authenticated key agreement protocol proposed by Mandt et al does not haVE the property of key-compromise impersonation （K-CI） resilience. An improved protocol with a simple modification of their protocol is proposed in this paper. In particular, our improved protocol is proved to be immune to the K-CI attack and at the same time possess other security properties.

关键词： cryptographic protocols key agreement certificate-less scheme cryptanalysis

维普期刊数据库