Sage Journals: Discover world-class research

Retricted access

Research article

First published 2012-8

Correctness of logic programs using proof schemes

Emmanouil Marakakis, Nikos Papadakis

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2014-8

A knowledge-based interactive verifier for logic programs

Emmanouil Marakakis, Haridimos Kondylakis, Nikos Papadakis

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2014-12-16

Machine-generated algorithms,proofs and software for the batch verification of digital signature schemes

Joseph A. Akinyele, Matthew Green, Susan Hohenberger [...]

Journal of Computer Security

Open access

Research article

First published 2015-10

Fast Antinoise RFID-Aided Medical Care System

Ming-Hour Yang, Jia-Ning Luo

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2020-01-09

Provable secure attribute-based proxy signature

Changxia Sun, Yi Liu, Xia Zeng [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2023-10-13

Machine-checked proofs of privacy against malicious boards for Selene & Co 1

Constantin Cătălin Drăgan, François Dupressoir, Ehsan Estaji [...]

Journal of Computer Security

Open access

Research article

First published 2017-3

Efficient location-based conditional privacy-preserving authentication scheme for vehicle ad hoc networks

Libing Wu, Jing Fan, Yong Xie [...]

International Journal of Distributed Sensor Networks

Free access

Research article

First published 2009-11

Adaptively Secure Threshold Signature Scheme in the Standard Model

Zecheng Wang, Haifeng Qian, Zhibin Li

Informatica: An International Journal of Computing and Informatics

Free access

Research article

First published 2017-5

Generic Construction of Certificate-Based Signature from Certificateless Signature with Provable Security

Wei Gao, Guilin Wang, Kefei Chen [...]

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 1995-8

Schemes for Slot Reuse in a Dual Bus System with the CRMA II MAC

Oran Sharon, Adrian Segall

Journal of High Speed Networks

Search results