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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是21-30 订阅

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

详细简洁

排序：

An information flow verifier for small embedded systems

引用

1st international workshop on Information security Theory and Practice

作者： Ghindici, Dorina Grimaud, Gilles Simplot-Ryl, Isabelle Univ Lille 1 CNRS UMR 8022 LIFLCite Sci F-59655 Villeneuve Dascq France

ISBN: (纸本)9783540723530

Insecurity arising from illegal information flow represents a real threat in small computing environments allowing code sharing, dynamic class loading and overloading. We introduce a verifier able to certify at loading time java applications already typed with signatures describing possible information flows. The verifier is implemented as a class loader and can be used on any java Virtual Machine. The experimental results provided here support our approach and show that the verifier can be successfully embedded. As far as we know, this is the first information flow analysis adapted to open embedded systems.

关键词： information flow type checking confidentiality class loading

来源：评论

学校读者我要写书评

暂无评论

A smart card based distributed identity management infrastructure for mobile ad hoc networks

引用

1st international workshop on Information security Theory and Practice

作者： Atallah, Eve Chaumette, Serge Univ Bordeaux 1 LaBRI 351 Cours Liberat F-33405 Talence France Univ Limoges XLIM F-87060 Limoges France

ISBN: (纸本)9783540723530

The network is becoming more and more versatile because of the variety of the computing resources and the communication technologies that have become available. The mobility of the nodes, in these so called Mobile Ad hoc Networks (MANets), furthermore leads to a situation where it is very difficult to establish secure community-based or even peer to peer communication channels. The basic and major problem that has to be solved is that of identity management: how to identify and authenticate an entity that is a priori unknown and that tries to dynamically join a community in the network? Even if we solve this problem, how to distribute these certified identities over the network? In this paper, we propose to make a clear distinction between two kinds of organization of a MANet. We consider an identity-based approach and a goal-based approach. In the identity-based approach the nodes of the network have to be precisely identified (i.e. with their real-world identity) and a central administration is therefore required. In the goal-based approach, identities are simply used to distinguish between the nodes that collaborate to a certain goal. We claim that when this second approach is considered, it is possible to support a totally distributed identity management system. Our contribution is the design and the implementation of such a system for these goal-based networks. We assume that the users who want to get involved are provided with PDAs supplied with smart cards and more precisely java cards, which are the basic secure bricks on which our approach relies. Of course, our approach supports the uniqueness of identities, but it furthermore enforces permanency, i.e. it prevents changing and repudiation of identity. In this paper, we describe the protocol that we have designed to support our solution and its effective implementation.

关键词： MANets identity management smart cards autoadministration

来源：评论

学校读者我要写书评

暂无评论

1st IFIP TC6 /WG8.8 /WG11.2 international workshop on Information security Theory and Practices, WIstP 2007

引用

1st IFIP TC6 /WG8.8 /WG11.2 international workshop on Information security Theory and Practices, WIstP 2007

ISBN: (纸本)3540723536

The proceedings contain 20 papers. The special focus in this conference is on Mobility, Hardware and Cryptography I. The topics include: A smart card based distributed identity management infrastructure for mobile Ad Hoc networks;a new resilient key management protocol for wireless sensor networks;efficient use of random delays in embedded software;enhanced doubling attacks on signed-all-bits set recoding;securing the distribution and storage of secrets with trusted platform modules;distributed certified information access for mobile devices;linkability of some blind signature schemes;optimistic non-repudiation protocol analysis;secure remote user authentication scheme using bilinear pairings;cryptanalysis of some proxy signature schemes without certificates;performance evaluation of java card bytecodes;reverse engineering java card applets using power analysis;an embedded system for practical security analysis of contactless smartcards;a comparative analysis of common threats, vulnerabilities, attacks and countermeasures within smart card and wireless sensor network node technologies;mobile phones as secure gateways for message-based ubiquitous communication;an information flow verifier for small embedded systems;survey and benchmark of stream ciphers for wireless sensor networks;new attacks, new results, and new countermeasures;CRT RSA algorithm protected against fault attacks and combinatorial logic circuitry as means to protect low cost devices against side channel attacks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A new approach to Persian/Arabic text steganography

A new approach to Persian/Arabic text steganography

引用

5th IEEE/ACIS international Conference on Computer and Information Science, ICIS 2006. In conjunction with 1st IEEE/ACIS international workshop on Component-Based Software Engineering, Software Architecture and Reuse, COMSAR 2006

作者： Shirali-Shahreza, M. Hassan Shirali-Shahreza, Mohammad Computer Eng. Department Yazd University Yazd Iran Computer Science Department Sharif University of Technology Tehran Iran

ISBN: (纸本)0769526136

Conveying information secretly and establishing hidden relationship has been of interest since long past. Text documents have been widely used since very long time ago. Therefore, we have witnessed different method of hiding information in texts (text steganography) since past to the present. In this paper we introduce a new approach for steganography in Persian and Arabic texts. Considering the existence of too many points in Persian and Arabic phrases, in this approach, by vertical displacement of the points, we hide information in the texts. This approach can be categorized under feature coding methods. This method can be used for Persian/Arabic Watermarking. Our method has been implemented by java programming language. © 2006 IEEE.

关键词： security of data

来源：评论

学校读者我要写书评

暂无评论

A New Approach to Persian/Arabic Text steganography

A New Approach to Persian/Arabic Text Steganography

引用

international Conference on Computer and Information Science (ACIS)

作者： M.H. Shirali-Shahreza M. Shirali-Shahreza Computer Engineering Department Yazd University Yazd Iran Computer Science Department Sharif University of Technology Tehran Iran

Conveying information secretly and establishing hidden relationship has been of interest since long past. Text documents have been widely used since very long time ago. Therefore, we have witnessed different method of hiding information in texts (text steganography) since past to the present. In this paper we introduce a new approach for steganography in Persian and Arabic texts. Considering the existence of too many points in Persian and Arabic phrases, in this approach, by vertical displacement of the points, we hide information in the texts. This approach can be categorized under feature coding methods. This method can be used for Persian/Arabic watermarking. Our method has been implemented by java programming language

关键词： steganography Information security Image coding Watermarking Cryptography Computer science java Computer languages Image processing Pattern recognition

来源：评论

学校读者我要写书评

暂无评论

Collage steganography

Collage Steganography

引用

international Conference on Computer and Information Science (ACIS)

作者： M. Shirali-Shahreza S. Shirali-Shahreza Computer Science Department Sharif University of Technology Tehran Iran Computer Engineering Department Sharif University of Technology Tehran Iran

Establishing hidden communication is an important subject of discussion that has gained increasing importance nowadays with the development of the Internet. One of the methods introduced for establishing hidden communication is steganography. Methods of steganography have been mostly applied on images while the major characteristic of these methods is the change in the structure and features of the images so as not to be identifiable by human users. However, on the other hand, many methods have been proposed for breaking and extracting information (steganalysis) for these methods. This paper presents a method for hiding information in images by changing the appearance of the picture instead of changing its features. In this method, images of a number of relevant objects are put on a scene together in a way that is not noticeable. Then, by changing the place and type of each object, information is hidden in the image because the place and type of each object indicates a special figure and, by putting the digits figures together, the information in question is hidden in the picture. Considering that in this method information has been hidden in the appearance of the picture, then by using the present methods of identification of stegano images one cannot identify the steganography images in this method or extract data from them. The proposed method has been implemented by using the java programming language

关键词： steganography Cryptography Internet Humans Information security Data mining Computer science Layout java Computer languages

来源：评论

学校读者我要写书评

暂无评论

A study on fast JCVM with new transaction mechanism and caching-buffer based on java Card objects with a high locality

引用

EUC 2005 workshops: 2nd international Symposium on Ubiquitous Intelligence and smart Worlds, UISW 2005, IFIP international Symposium on Network-Centric Ubiquitous Systems, NCUS 2005, 1st international workshop on security in Ubiquitous Computing Systems, SecUbiq 2005, 1st international workshop on RFID and Ubiquitous Sensor Networks, USN 2005 and international workshop on Trusted and Autonomic Ubiquitous and Embedded Systems, TAUES 2005 held in conjunction with the IFIP international Conference on Embedded and Ubiquitous Computing, 2005

作者： Jin, Min-Sik Choi, Won-Ho Yang, Yoon-Sim Jung, Min-Soo Dept of Computer Engineering Kyungnam University Masan Korea Republic of Kyungnam University Korea Republic of

ISBN: (纸本)3540308032

java Card is now a mature and accepted standard for smart card and SIM technology. java Card is distinguished primarily by its independence from hardware platforms and portability and is now the most important open standard. However, the main concern of java Card is now its low execution speed caused by the hardware limitation. In this paper, we propose how to improve a execution speed of java Card by reducing the number of EEPROM writing. Our approaches are an object-buffer based on a high locality of java Card objects, the use of RAM, has a speed more faster 1000 times than EEPROM, as much as possible and new transaction mechanism using RAM. © IFIP international Federation for Information Processing 2005.

关键词： smart cards

来源：评论

学校读者我要写书评

暂无评论

EUC 2005 workshops: 2nd international Symposium on Ubiquitous Intelligence and smart Worlds, UISW 2005, IFIP international Symposium on Network-Centric Ubiquitous Systems, NCUS 2005, 1st international workshop on security in Ubiquitous Computing Systems, SecUbiq 2005, 1st international workshop on RFID and Ubiquitous Sensor Networks, USN 2005 and international workshop on Trusted and Autonomic Ubiquitous and Embedded Systems, TAUES 2005 held in conjunction with the IFIP international Conference on Embedded and Ubiquitous Computing, 2005

引用

ISBN: (纸本)3540308032

The proceedings contain 134 papers. The special focus in this conference is on Ubiquitous intelligence and smart worlds. The topics include: Human activity recognition based on surrounding things;a service management system for coordinating smart things in smart spaces;a world model for smart spaces;dealing with emotional factors in agent based ubiquitous group decision;a multi-agent software platform accommodating location-awareness for smart space;application-driven customization of an embedded java virtual machine;intelligent object extraction algorithm based on foreground/background classification;ubiquitous organizational information service framework for large scale intelligent environments;temporal-spatial methodology for application checking of the systems in the ubiquitous environment;multivariate stream data reduction in sensor network applications;implementing a graph neuron array for pattern recognition within unstructured wireless sensor networks;building graphical model based system in sensor networks;the design and implementation of a location-aware service bundle manager in smart space environments;human position/height detection using analog type pyroelectric sensors;semantic based sensor grid and norms enforcement as a coordination strategy in ubiquitous environments.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Towards formal specification and generation of autonomic policies

引用

作者： sterritt, Roy Hinchey, Michael G. Rash, James L. Truszkowski, Walt Rouff, Christopher A. Gracanin, Denis University of Ulster Ireland NASA Software Engineering Laboratory NASA Goddard Space Flight Center GreenbeltMD20771 United States Advanced Architectures and Automation Branch NASA Goddard Space Flight Center GreenbeltMD20771 United States Advanced Concepts Business Unit Science Applications International Corp McLeanVA22102 United States Virginia Tech Department of Computer Science BlacksburgVA United States

ISBN: (纸本)3540308032

Autonomic Computing (AC), self-management based on high level guidance from humans, is increasingly gaining momentum as the way forward in designing reliable systems to hide complexity and conquer IT management costs. Effectively, AC may be viewed as Policy-Based Self-Management. In this paper we look at the motivation for utilizing NASA requirements-based programming technologies for mechanically transforming policies (expressed in restricted natural language, or appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations, with the goal of self-generation of provable autonomic policies. © IFIP international Federation for Information Processing 2005.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

CardKt: Automated multi-modal deduction on java cards for multi-application security 1st

引用

1st international workshop on java cards, javaCard 2000

作者： Goré, Rajeev Nguyen, Lan Duy Automated Reasoning Group Computer Sciences Laboratory Res. Sch. Of Inf. Sci. And Eng. Institute of Advanced Studies Australian National University Australia Formal Methods Group Dept. of Computer Science Australian National University Australia

ISBN: (纸本)9783540421672

We describe an implementation of a java program to perform automated deduction in propositional multi-modal logics on a java smart card. The tight space limits of java smart cards make the implementation non-trivial. A potential application is to ensure that applets down-loaded off the internet conform to personalised security permissions stored on the java card using a security policy encoded in multi-modal logic. In particular, modal logic may be useful to ensure that previously checked "trust" relationships between pre-existing multiple applets on a java card are not broken by the addition of a new applet. That is, by using multi-modal logic to express notions of permissions and obligations, we can turn the security check into an on-board theorem proving task. Our theorem prover itself could be down-loaded "just in time" to perform the check, and then deleted to free up space on the card once the check has been completed. Our work is thus a "proof of principle" for the application of formal logic to the security of multi-application java cards. © Springer-Verlag Berlin Heidelberg 2001.

关键词： security systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：