检索结果-南通市图书馆

algebraic manipulation detection codes

Science China Mathematics 2013年第7期56卷 1349-1358页

作者： CRAMER Ronald FEHR Serge PADRó Carles Centrum voor Wiskunde en Informatica (CWI) Mathematical Institute Leiden University Division of Mathematical Sciences School of Physical and Mathematical Sciences Nanyang Technological University

algebraic manipulation detection codes are a cryptographic primitive that was introduced by Cramer et al. (Eurocrypt 2008). It encompasses several methods that were previously used in cheater detection in secret sharing. Since its introduction, a number of additional applications have been found. This paper contains a detailed exposition of the known results about algebraic manipulation detection codes as well as some new results.

关键词： cryptography keyless message authentication algebraic manipulation

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Automatic Generation of Very Efficient Programs by Generalized Partial Computation

引用

Wuhan University Journal of Natural Sciences 2001年第Z1期6卷 1-11页

作者： Yoshihiko Futamura 1,Zenjiro Konishi 2, Robert Glück 3 1.Department of Informationr and Computer Science,Waseda University, 3 4 1 Okubo, Shinjuku, Tokyo 169 8555, Japan 2. Institute for Software Production Technology,Waseda University, 3 4 Department of Informationr and Computer Science Waseda University Shinjuku Tokyo Japan Institute for Software Production Technology Waseda University Tokyo Japan

Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data, properties of auxiliary functions and the logical structure of a source program. GPC uses both an inference engine such as a theorem prover and a classical partial evaluator to optimize programs. Therefore, GPC is more powerful than classical partial evaluators but harder to implement and control. We have implemented an experimental GPC system called WSDFU (Waseda Simplify Distribute Fold Unfold). This paper discusses the power of the program transformation system, its theorem prover and future works.

关键词： partial evaluation program transformation theorem proving program optimization recursion removal algebraic manipulation

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：