检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

42 篇 会议
1 册 图书

馆藏范围

43 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

34 篇 工学
- 32 篇 计算机科学与技术...
- 24 篇 软件工程
- 7 篇 信息与通信工程
- 5 篇 电气工程
- 3 篇 控制科学与工程
- 2 篇 建筑学
- 2 篇 安全科学与工程
- 1 篇 电子科学与技术（可...
- 1 篇 土木工程
- 1 篇 环境科学与工程（可...
3 篇 理学
- 2 篇 数学
- 1 篇 地理学
2 篇 法学
- 2 篇 法学
2 篇 管理学
- 2 篇 图书情报与档案管...
1 篇 教育学
- 1 篇 教育学

主题

9 篇 smart cards
4 篇 java
4 篇 cryptography
2 篇 internet of thin...
2 篇 computer science
2 篇 computer languag...
2 篇 smart contract
2 篇 information secu...
2 篇 steganography
2 篇 java programming...
1 篇 object oriented ...
1 篇 javacard
1 篇 performance
1 篇 sec-inte
1 篇 access control
1 篇 software enginee...
1 篇 multi-applicatio...
1 篇 public-private k...
1 篇 programming
1 篇 objects

机构

3 篇 computer science...
1 篇 univ vienna fac ...
1 篇 department of in...
1 篇 natl aerosp univ...
1 篇 automated reason...
1 篇 gemplus res labs...
1 篇 lab lsr imag f-3...
1 篇 dept. of compute...
1 篇 visa int serv as...
1 篇 charles universi...
1 篇 dept. of electro...
1 篇 delft univ techn...
1 篇 univ bordeaux 1 ...
1 篇 univ nijmegen de...
1 篇 institute for te...
1 篇 university of l’...
1 篇 univ notre dame ...
1 篇 off natl etud & ...
1 篇 nasa software en...
1 篇 computer enginee...

作者

2 篇 steger christian
2 篇 m. shirali-shahr...
2 篇 berlach reinhard
2 篇 lackner michael
1 篇 ghindici dorina
1 篇 jacobs b
1 篇 truszkowski walt
1 篇 butler tom
1 篇 mirakhorli mehdi
1 篇 brewer d
1 篇 reddy p. v. g. d...
1 篇 henry muccini
1 篇 hartel pieter h.
1 篇 loiseaux c
1 篇 paradinas pierre
1 篇 karos thomas
1 篇 wilhelm stephan
1 篇 yolnasdi
1 篇 woehrer maximili...
1 篇 ferdinand christ...

语言

43 篇 英文

检索条件"任意字段=1st International Workshop on Java on Smart Cards - Programming and Security"

共 43 条记录，以下是11-20 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Trust in smart contracts is a process, as well 21st

引用

21st international workshops on Financial Cryptography and Data security, FC 2017 held in conjuction with 5th workshop on Encrypted Computing and Applied Homomorphic Cryptography, WAHC 2017, 4th workshop on Bitcoin and Blockchain Research, BITCOIN 2017, 2nd workshop on Advances in Secure Electronic Voting Schemes, VOTING 2017, 1st workshop on Trusted smart Contracts, WTSC 2017 and 1st workshop on Targeted Attacks, TA 2017

作者： Al Khalil, Firas Butler, Tom O’Brien, Leona Ceci, Marcello Governance Risk and Compliance Technology Center University College Cork Cork Ireland

ISBN: (纸本)9783319702773

Distributed ledger technologies are rising in popularity, mainly for the host of financial applications they potentially enable, through smart contracts. Several implementations of distributed ledgers have been proposed, and different languages for the development of smart contracts have been suggested. A great deal of attention is given to the practice of development, i.e. programming, of smart contracts. In this position paper, we argue that more attention should be given to the "traditional developers" of contracts, namely the lawyers, and we propose a list of requirements for a human and machine-readable contract authoring language, friendly to lawyers, serving as a common (and a specification) language, for programmers, and the parties to a contract. © international Financial Cryptography Association 2017.

关键词： smart contract

来源：评论

学校读者我要写书评

暂无评论

CEUR workshop Proceedings

CEUR Workshop Proceedings

引用

Gemeinsamer Tagungsband der workshops der Tagung Software Engineering 2016 - workshops of the Conference on Software Engineering, SE-WS 2016

The proceedings contain 28 papers. The topics discussed include: a parser generator system for level-based programming languages;higher-order causal stream functions in sig from first principles;parametric DeltaJ 1.5: propagating feature attributes into implementation artifacts;graph-walk-based selective regression testing of web applications created with Google web toolkit;towards meta-level engineering and tooling for complex concurrent systems;structural type inference in java-like languages;CPSSC 1st international workshop on Cyber-Physical Systems in the context of smart cities;campuses as living & lived-in laboratories for smart city development;effective visualization and control of the indoor environmental quality in smart buildings;and achieving cloud scalability with microservices and DevOps in the connected car domain.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An Empirical study of a Cryptographic Scheme for Secure Communication in Mobile Ad Hoc Networks 1st

引用

1st international Conference on Information and Communication Technology for Intelligent Systems (ICTIS)

作者： Sahadevaiah, Kuncha Ramakrishnaiah, Nagendla Reddy, P. V. G. D. Prasad Jawaharlal Nehru Technol Univ Univ Coll Engn Dept Comp Sci & Engn Kakinada 533003 Andhra Pradesh India Andhra Univ Coll Engn Dept Comp Sci & Syst Engn Visakhapatnam 530003 Andhra Pradesh India

ISBN: (纸本)9783319309279;9783319309262

The design and implementation of a cryptographic scheme in a mobile ad hoc network (MANET) is highly complicated than the traditional networks. This is due to several reasons, like-unavailable central infrastructure services, periodic movable nodes, wireless link unsteadiness, and possible network separations. In this paper, we present a cryptographic key management scheme for secure communications in ad hoc networks. The scheme transmits the data in the presence of security attacks. The scheme provides the scalability of nodes and storage space wherein the nodes makes use of more than one key pair to encrypt and decrypt the messages. The scheme has been executed in java programming language and empirically valued its efficiency via performance and security assessments. The simulation outcome has shown that the proposed scheme opposes against selfish nodes and takes less key storage space than traditional schemes. The scheme also satisfies the secure communication requirements.

关键词： Mobile ad hoc network security Secure communication Cryptography Public-private keys Key management

来源：评论

学校读者我要写书评

暂无评论

Assessment of Access Control Systems Using Mutation Testing 1

Assessment of Access Control Systems Using Mutation Testing

引用

international workshop on TEchnical and LEgal aspects of data pRIvacy and security

作者： Daoudagh, Said Lonetti, Francesca Marchetti, Eda CNR Ist Sci & Tecnol Informaz A Faedo Pisa Italy

ISBN: (纸本)9781467370974

In modern pervasive applications, it is important to validate access control mechanisms that are usually defined by means of the standard XACML language. Mutation analysis has been applied on access control policies for measuring the adequacy of a test suite. In this paper, we present a testing framework aimed at applying mutation analysis at the level of the java based policy evaluation engine. A set of java based mutation operators is selected and applied to the code of the Policy Decision Point (PDP). A first experiment shows the effectiveness of the proposed framework in assessing the fault detection of XACML test suites and confirms the efficacy of the application of code-based mutation operators to the PDP.

关键词： access control java java programming language PDP1 gene mutational analysis Extensible Access Control Markup Language Defect detection

来源：评论

学校读者我要写书评

暂无评论

The gateway security model in the java Electronic Commerce Framework 1st

引用

1st international Conference on Financial Cryptography, FC 1997

作者： Goldstein, Theodore Sun Microsystems Laboratories / JavaSoft United States

ISBN: (纸本)9783540635949

This paper describes an extension to the current java security model called the "Gateway" and why it was necessary to create it. This model allows secure applications, such as those used in electronic commerce, to safely exchange data and interoperate without compromising each individual application’s security. The Gateway uses digital signatures to enable application programming interfaces to authenticate their caller. javaSoft is using the Gateway to create a new integrated open platform for financial applications called java Electronic Commerce Framework. The JECF will be the foundation for electronic wallets, point of sale terminals, electronic merchant servers and other financial software. The Gateway model can also be used for access control in many multiple application environments that require trusted interaction between applications from multiple vendors. These applications include browsers, servers, operating systems, medical systems and smartcards. © Springer-Verlag Berlin Heidelberg 1997.

关键词： smart cards

来源：评论

学校读者我要写书评

暂无评论

Countering type confusion and buffer overflow attacks on java smart cards by data type sensitive obfuscation 14

Countering type confusion and buffer overflow attacks on Jav...

引用

1st workshop on Cryptography and security in Computing Systems, CS2 2014

作者： Lackner, Michael Berlach, Reinhard Weiss, Reinhold steger, Christian Institute for Technical Informatics Graz University of Technology Graz Austria

ISBN: (纸本)9781450324847

java enabled smart cards protect security-related code and data by a sandbox concept. Unfortunately, this sandbox can be bypassed by fault attacks. Therefore, there is a substantial need for transparent, effective, and low-overhead countermeasures. This work demonstrates a new counter-measure against type confusion and buffer overflow attacks. This new countermeasure is based on obfuscating the security critical calculation parts of a virtual machine by secret keys. This countermeasure was integrated into a java Card virtual machine running on a smart card prototype. New hardware features were added to this prototype to accelerate the obfuscating operation. The execution time overhead of the new countermeasure is demonstrated by performing run-time measurements on the prototype. Copyright © 2014 ACM.

关键词： smart cards

来源：评论

学校读者我要写书评

暂无评论

Memory-efficient on-card byte code verification for java cards 14

Memory-efficient on-card byte code verification for java car...

引用

1st workshop on Cryptography and security in Computing Systems, CS2 2014

作者： Berlach, Reinhard Lackner, Michael steger, Christian Loinig, Johannes Haselsteiner, Ernst Institute for Technical Informatics Graz University of Technology Austria NXP Semiconductors Netherlands

ISBN: (纸本)9781450324847

java enabled smart cards are widely used to store confidential information in a trusted and secure way in an untrusted and insecure environment, for example the credit card in your briefcase. In this environment the owner of the card can install and run any applet on his card, such as the loyalty application of your favorite store. However, every applet that runs on a trusted card has to be verified. On-card Bytecode Verification is a crucial step towards creating a trusted environment on the smart cards. The innovative verification method presented in this work comes without any additional off-card component and uses nearly the same amount of memory as the execution of the applet uses. The usage of a Control Flow Graph and Basic Blocks and the implementation of a temporary transformation of the methods reduces the complexity of this new verifier. We will show a detailed analysis of the implemented algorithm and preliminary tests of a prototype on a java Card. Copyright © 2014 ACM.

关键词： smart cards

来源：评论

学校读者我要写书评

暂无评论

EFFICIENT IMPLEMENTATION OF ANONYMOUS CREDENTIALS ON java CARD smart cards

EFFICIENT IMPLEMENTATION OF ANONYMOUS CREDENTIALS ON JAVA CA...

引用

1st IEEE international workshop on Information Forensics and security

作者： sterckx, Michael Gierlichs, Benedikt Preneel, Bart Verbauwhede, Ingrid Katholieke Univ Leuven ESAT SCD COSIC Kasteelpark Arenberg 10 B-3001 Louvain Belgium

ISBN: (纸本)9781424452798

The Direct Anonymous Attestation scheme allows to map procedures with an imperative requirement for anonymity, such as voting, to the electronic world while offering provable security. However, the scheme is complex and requires demanding computations to be performed on a tamper-proof device. Such devices, e.g. secure smart cards, are typically resource constrained. We present the first implementation of the (simplified) Direct Anonymous Attestation protocols suitable for contemporary java Card smart cards. We point out performance bottlenecks and provide efficient solutions which allow our implementation to terminate within acceptable time.

关键词： SEC-PRIV SYS-SOFT SEC-INTE

来源：评论

学校读者我要写书评

暂无评论

Reverse engineering java card applets using power analysis

引用

1st international workshop on Information security Theory and Practice

作者： Vermoen, Dennis Witteman, Marc Gaydadjiev, Georgi N. Delft Univ Technol Delft Netherlands Riscure Bv Delft Netherlands

ISBN: (纸本)9783540723530

Power analysis on smart cards is widely used to obtain information about implemented cryptographic algorithms. We propose similar methodology for java Card applets reverse engineering. Because power analysis alone does not provide enough information, we refine our methodology by involving additional information sources. Issues like distinguishing between bytecodes performing similar tasks and reverse engineering of conditional branches and nested loops are also addressed. The proposed methodology is applied to a commercially available java Card smart card and the results are reported. We conclude that our augmented power analysis can be successfully used to acquire information about the bytecodes executed on a java Card smart card.

关键词： smart cards

来源：评论

学校读者我要写书评

暂无评论

Performance evaluation of java card bytecodes

引用

1st international workshop on Information security Theory and Practice

作者： Paradinas, Pierre Cordry, Julien Bouzefrane, Samia INRIA Rocquencourt F-78150 Le Chesnay France CNAM F-75003 Paris France

ISBN: (纸本)9783540723530

The advent of the java Card standard has been a major turning point in smart card technology. With the growing acceptance of this standard, understanding the performance behaviour of these platforms is becoming crucial. To meet this need, we present in this paper, a benchmark framework that enables performance evaluation at the byte-, code level. The first experimental results show that bytecode execution time isolation is possible.

关键词： java card benchmark performance

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共5页 << < 1 2 3 4 5 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：