Building a push-button RESOLVE verifier: Progress and challenges

ISSN： 0934-5043

Source： Formal Aspects of Computing, Vol.23, Iss.5, 2011-09, pp. : 607-626

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Some issues of biometrics: technology intelligence, progress and challenges

By Wang L.

International Journal of Information Technology and Management, Vol. 11, Iss. 1-2, 2012-12 ,pp. : 72-82

Inderscience Publishers

Access to resources Recommend Favorite

Aggregate designated verifier signatures and application to secure routing

By Bhaskar Raghav Herranz Javier Laguillaumie Fabien

International Journal of Security and Networks, Vol. 2, Iss. 3-4, 2007-04 ,pp. : 192-201

Inderscience Publishers

Access to resources Recommend Favorite

A Type System for the Java Bytecode Language and Verifier

By Freund Stephen Mitchell John

Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. : 271-321

Springer Publishing Company

Access to resources Recommend Favorite

Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler

By Stärk Robert Schmid Joachim

Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. : 323-361

Springer Publishing Company

Access to resources Recommend Favorite

Designated verifier ring signature and ring signcryption

By Fu Xiaotong Liu Wen Shi Ruijun

International Journal of Intelligent Information and Database Systems, Vol. 7, Iss. 5, 2013-09 ,pp. : 414-421

Inderscience Publishers

Access to resources Recommend Favorite