E-invoice authenticity verification scheme based on signature verification by Rongna XIE, Weihua MAO, Guozhen SHI

“…With the rapid development of network and information technology,paperless and electronic have become the development trend of today's economic life.As a consumption certificate,electronic invoices have become more and more demanding in e-commerce.The existing electronic invoice verification method is to inquire the invoice information in the national electronic account base according to the invoice number,invoice code,billing date,and amount,and realize the function of comparison inquiry,and can not detect the fraudulent behavior of issuing invoices by non-issuing institutions,and cannot guarantee the full legality and authenticity of electronic invoices.Aiming at the above problems,a verification scheme for electronic invoice authenticity based on signature authentication was proposed.By verifying the signature of the tax agency,the legality verification of the blank electronic invoice is verified,and the digital signature of the seller is verified to determine the authenticity of the invoiced content.Ensure that the electronic invoices passed for verification are true and reliable.…”
Get full text

Automatic construction and verification algorithm for smart contracts based on formal verification by Rui Xie, Xuejiao Zhong, Xin Chen, Shaohui Xu, Haiyang Yu, Xinyuan Guo

“…Consequently, the research on automatic construction and verification algorithms for smart contracts based on formal verification proves to be effective and feasible in practical applications.…”
Get full text

Intelligent Modeling and Verification by Guiming Luo, Graziano Chesi, Xiaoyu Song, Xiaojing Yang

Get full text

FPGA Verification Module by Ivan Aleksi, Željko Hocenski

Get full text

Formal Modeling and Verification for MVB by Mo Xia, Kueiming Lo, Shuangjia Shao, Mian Sun

“…The MVB system modeling and verification are concerned in this paper. Petri Net and model checking methods are used to verify the MVB system. …”
Get full text

Objectification and verification of financial information by A. V. Petukh, V. V. Bashkatov, O. I. Shvyreva

“…The purpose of the study is to identify the concept of “financial information” for its relevant use in rulemaking and science, as well as to determine the verification features of this type of information generated by economic entities in order to ensure reasonable user confidence in its quality. …”
Get full text

LTL Verification of Automaton Programs by K. A. Vasileva, E. V. Kuzmin

“…In the paper one of approaches to modelling, specification and verification of automaton programs are considered. The automata programming technology is effective enough in design and verification (the analysis of correctness) software for reactive and controlling systems. …”
Get full text

Intelligent Modeling and Verification 2014 by Guiming Luo, Xiaoyu Song, Xiaojing Yang, Krishnaiyan Thulasiraman

Get full text

Verification of Synchronous-automaton Programs by S. V. Kubasov

“…This article presents a synchronous model of the automaton program. A technique of verification of synchronous-automaton programs has been developed. …”
Get full text

On Construction and Verification of PLC-Programs by E. V. Kuzmin, V. A. Sokolov

Subjects: Get full text

VERIFICATION OF THE BEARING CAPACITY OF PILES by Peter Turček, Monika Súľovská

Get full text

Verification Oriented Process Ontology by Natalia O. Garanina, Igor S. Anureev, Olesya I. Borovikova

Subjects: Get full text

Verification of Opacity and Diagnosability for Pushdown Systems by Koichi Kobayashi, Kunihiko Hiraishi

“…In this paper, we discuss verification of opacity and diagnosability for infinite-state DESs modeled by pushdown automata (called here pushdown systems). …”
Get full text

Orthogonality broadcasting and quantum position verification by Ian George, Rene Allerstorfer, Philip Verduyn Lunel, Eric Chitambar

“…We then relate orthogonality broadcasting to quantum position verification and provide a new method for establishing error bounds in the no pre-shared entanglement model that can address protocols previous methods could not. …”
Get full text

Superelement Verification in Complex Structural Models by B. Dupont, E. Pillet, S. Cogan

Get full text

Deductive Verification of the Sliding Window Protocol by D. A. Chkliaev, V. A. Nepomniaschy

Subjects: Get full text

VERIFICATION OF DISCRETE MODELS OF HYDROLITHOSPHERIC PROCESSES by I. M. Pershin, V. A. Nosova, V. V. Tsapleva

Subjects: Get full text

On cofactored verification of EdDSA signatures by Adrian Cinal, Oliwer Sobolewski

“…This is done by sanctioning two variants of the signature verification equation and specifying precedence of one over the other. …”
Get full text

Verification of Okun’s Law on Russian Data by Yu. K. Zaitsev

Get full text

Service for Verification of Electronic Document’s Certificates by I. O. Tolokh, S. Yu. Mikhnevich, A. Yu. Siankevich

“…The technical normative legal acts in the field of cryptographic protection of electronic documents are analyzed. The necessity of verification of certificates of public keys of electronic digital signature is substantiated. …”
Get full text