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

Analysis and improvement of ZG off-line TTP non-repudiation protocol

Tongxin Xuebao/Journal on Communications 2009年第11 A期30卷 44-51页

作者： Liu, Dong-Mei Qing, Si-Han Li, Peng-Fei Li, Shang-Jie National Engineering Research Center for Fundamental Software Institute of Software Chinese Academy of Sciences Beijing 100080 China Engineering Research Center for Information Security Technology Institute of Software Chinese Academy of Sciences Beijing 100080 China Graduate School Chinese Academy of Sciences Beijing 100039 China National Key Laboratory of Integrated Information System Technology Chinese Academy of Sciences Beijing 100080 China

Based on the weakness of ZG off-line TTP(trusted third party) non-repudiation protocol because of using protocol deadline, the improvement of the ZG off-line TTP non-repudiation protocol was given, which eliminated the delaying resolve request attack and ensured non-repudiation and fairness. Therefore, two kinds of improvement of ZG off-line TTP non-repudiation protocol were given, which had different point of focus. Among them, the first one could eliminate delaying message attack in ZG protocol;the second one also had the property of preventing the abuse of sub-protocol besides eliminating delaying message attack. The first one is suitable for electronic payment and certified email, but the second one is suitable for digital contract signature.

关键词： Fair non-repudiation protocol Fairness Non-repudiation Timeliness

来源：评论

学校读者我要写书评

暂无评论

Preface of the 2010 IAENG International Conference on Electrical engineering special session: Design, analysis and tools for integrated circuits and systems

Proceedings of the International MultiConference of Engineer...

引用

Proceedings of the International MultiConference of Engineers and Computer Scientists 2010, IMECS 2010 2010年 1333-1335页

作者： Man, Ka Lok Mercaldi, Michele Hahanov, Vladimir Prinetto, Paolo Poncino, Massimo MacIi, Alberto Choi, Joongho Li, Wei Schellekens, Michel Popovici, Emanuel Seon, Jong-Kug Rossi, Umberto Fummi, Franco Pravadelli, Graziano Lam, Yui Fai PavLov, Vladimir Patel, Ajay Huang, Jinfeng Vallee, Thierry Boubekeur, Menouer Sokolova, Ana Almerares, Sergio Donno, Monica Cho, Jun-Dong Zahirul Alam, A.H.M. Provan, Gregory Velev, Miroslav N. Uddin, M. Nasir Botchkarev, Alexei Bosnacki, Dragan Hickey, Dave O'Keeffe, Maria Krilavičius, Tomas Pastrnak, Milan Herbert, John Lu, Zhe-Ming Pan, Jeng-Shyang Chang, Chin-Chen Horng, Mong-Fong Chen, Liang Lim, Chee-Peng Tao, Ngo Quoc Deb, Suash Merniz, Salah Valero, Oscar Yi, Yang Woods, Damien Vedrine, Franck Monsuez, Bruno Yen, Kang Matsuura, Takenobu Edwards, R. Timothy Tveretina, Olga Fino, Maria Helena O'Riordan, Adrian Patrick Labiak, Grzegorz Gaur, M.S. Chang, Jian Chung, Yeh-Ching Derezinska, Anna Cho, Kyoung-Rok Zhang, Yong Liutkevičius, R. Zeng, Yuanyuan Vasudevan, D.P. Bukowiec, Arkadiusz Kitsos, Paris Goudarzi, Maziar Dong, Jin Song Bhalla, Ateet Al-Khalili, Dhamin Navabi, Zainalabedin Zinchenko, Lyudmila Anjum, Muhammad Almas Narasimha, Deepak Laxmi Hughes, Danny Tadjouddine, Emmanuel M. Wang, Jun Kumar, A.P. Sathish Jaisankar, N. Mansoor, Atif Hollands, Steven Mohammadi, Siamak Klein, Felipe Westermann, Peter English, Tom Planas, Miquel Moreto Chung, Chelho Chakrabarti, Amlan Lei, Chi-Un Bamakhrama, Mohamed Naik, B. Rajendra Harte, Sean Yin, Alexander Giancardi, Luigi El-Din Mady, Alie Joseph, Arun Khandekar, Prasad D. Pandey, Hari Mohan Bharti, Vishal O'Mullane, Monica Chen, Chen Xi'an Jiaotong University China Liverpool University United Kingdom Kharkov National University of Radio Electronics Ukraine Politecnico di Torino Italy University of Seoul Korea Republic of Fudan University China Tyndall University College Cork Ireland System LSI Lab. LS Industrial Systems R and D Center Korea Republic of STMicroelectronics Italy University of Verona Italy Hong Kong University of Science and Technology Hong Kong Hong Kong International Software and Productivity Engineering Institute United States Intelligent Support Ltd. United Kingdom Philips and LiteOn Digital Solutions Netherlands Netherlands Georgia Southern University Statesboro GA United States University of Salzburg Austria Sung Kyun Kwan University Korea Republic of International Islamic University Malaysia Malaysia Aries Design Automation United States Lakehead University Canada IEEE Canada Board of Directors Canada Eindhoven University of Technology Netherlands Vytautas Magnus University Lithuania Siemens IT Solutions and Services Slovakia Sun Yat-Sen University China National Kaohsiung University of Applied Sciences Taiwan Feng Chia University Taiwan Shu-Te University Taiwan University of Northern British Columbia Canada University of South Australia Australia Vietnamese Academy of Science and Technology Viet Nam C. V. Raman College of Engineering India Mentouri University Constantine Algeria University of Balearic Islands Spain University of Seville Spain CEA France ENSTA France Florida International University United States Tokai University Japan MultiGiG Inc. United States Karlsruhe University Germany Universidade Nova de Lisboa Portugal University of Zielona Gora Poland Malaviya National Institute of Technology Jaipur India Texas Instruments Inc. United States National Tsing-Hua University Taiwan Warsaw University of Technology Poland Chungbuk National University Korea Republic of Shenzhen University China Vytautas Magnus University Kaunas Lithuania Hellenic Open Univ

来源：评论

学校读者我要写书评

暂无评论

Adaptive Parallel Model Combination for Reduced Environmental Mismatch in Noisy Speech Recognition

Adaptive Parallel Model Combination for Reduced Environmenta...

引用

International Conference on Electronic Design

作者： Tan, S. S. Ahmad, Abdul Manan Software Engineering Department Faculty of Computer Science and Information System University of Technology Malaysia Malaysia Speech Laboratory Faculty of Computer Science and Information System University of Technology Malaysia Malaysia

ISBN: (纸本)9781424423149

Due to environmental mismatch, speech recognition systems often exhibit drastic performance degradation in noisy conditions. This paper presents a model-based technique termed Adaptive Parallel Model Combination (APMC) which compensates the initial acoustic models to reduce the discrepancy. APMC used the well-known PMC technique to composite a set of corrupted speech models, while fine tuning the mean parameter of the models using a transformation-based adaptation technique called Maximum Likelihood Spectral Transformation (MLST). Evaluated on a context-independent phone recognition task, APMC was found to be superior to both PMC and MLST, especially in non-stationary noisy conditions. On average, APMC has achieved 48.81% improvement over the initial models, whereas PMC and MLST have improved the accuracy by 34.12% and 35.23% respectively.

关键词： Maximum likelihood

来源：评论

学校读者我要写书评

暂无评论

An integrated approach for verification and validation of security issues based on Common Criteria standard

An integrated approach for verification and validation of se...

引用

31st International Convention Proceedings: Digital Economy - 5th ALADIN, information systems Security, Business Intelligence systems, Local Government and Student Papers

作者： Hossein, Salari Mendi Mohammadreza, Razzazi Software System Research and Development Laboratory Department of Computer Engineering and Information technology Amirkabir university of technology Iran

ISBN: (纸本)9789532330403

Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements catalogue for the evaluation of security critical systems. Using the CC, a large number of security requirements on the system itself and on the system development can be defined. However, the CC does not give methodological support. In this paper, we show how to integrate security aspects into the verification and validation of software engineering processes and develop a new integrated approach for verification and validation of software and security issues based on common criteria standard. The activities and documents from the Common Criteria are tightly intertwined with the verification techniques, which improves the security of the developed system and reduces the cost and effort. We choose IEEE standard of software verification and validation as reference information of V&V and demonstrate our ideas by means of a case-study, the Electronic Purse Card system.

关键词： IEEE Standards

来源：评论

学校读者我要写书评

暂无评论

DATICS-2010: Welcome message from workshop organizers: FutureTech 2010

2010 5th International Conference on Future Information Tech...

引用

2010 5th International Conference on Future information Technology, FutureTech 2010 - Proceedings 2010年

作者： Man, Ka Lok Mercaldi, Michele Hahanov, Vladimir Prinetto, Paolo Poncino, Massimo MacIi, Alberto Choi, Joongho Li, Wei Schellekens, Michel Popovici, Emanuel Seon, Jong-Kug Rossi, Umberto Fummi, Franco Pravadelli, Graziano Lam, Yui Fai PavLov, Vladimir Patel, Ajay Huang, Jinfeng Vallee, Thierry Boubekeur, Menouer Sokolova, Ana Almerares, Sergio Donno, Monica Cho, Jun-Dong Alam, Ahm Zahirul Provan, Gregory Velev, Miroslav N. Nasir Uddin, M. Botchkarev, Alexei Bosnacki, Dragan Hickey, Dave O'Keeffe, Maria Krilavičius, Tomas Pastrnak, Milan Herbert, John Lu, Zhe-Ming Pan, Jeng-Shyang Chang, Chin-Chen Horng, Mong-Fong Chen, Liang Lim, Chee-Peng Tao, Ngo Quoc Deb, Suash Merniz, Salah Valero, Oscar Yi, Yang Woods, Damien Vedrine, Franck Monsuez, Bruno Yen, Kang Matsuura, Takenobu Timothy Edwards, R. Tveretina, Olga Fino, Maria Helena O'Riordan, Adrian Patrick Labiak, Grzegorz Gaur, M.S. Chang, Jian Chung, Yeh-Ching Derezinska, Anna Cho, Kyoung-Rok Zhang, Yong Liutkevičius, R. Zeng, Yuanyuan Vasudevan, D.P. Bukowiec, Arkadiusz Kitsos, Paris Goudarzi, Maziar Dong, Jin Song Bhalla, Ateet Al-Khalili, Dhamin Navabi, Zainalabedin Zinchenko, Lyudmila Anjum, Muhammad Almas Narasimha, Deepak Laxmi Hughes, Danny Tadjouddine, Emmanuel M Wang, Jun Kumar, A.P. Sathish Jaisankar, N. Mansoor, Atif Hollands, Steven Mohammadi, Siamak Klein, Felipe Westermann, Peter English, Tom Planas, Miquel Moreto Chung, Chelho Chakrabarti, Amlan Lei, Chi-Un Bamakhrama, Mohamed Naik, B. Rajendra Harte, Sean Yin, Alexander Giancardi, Luigi Mady, Alie El-Din Joseph, Arun Khandekar, Prasad D. Pandey, Hari Mohan Xi'an Jiaotong-Liverpool University China Kharkov National University of Radio Electronics Italy Politecnico di Torino Italy University of Seoul China Fudan University Ireland University College Cork Ireland System LSI Lab. LS Industrial Systems R and D Center Korea Republic of STMicroelectronics Italy University of Verona Hong Kong Hong Kong University of Science and Technology Hong Kong Hong Kong International Software and Productivity Engineering Institute United States Intelligent Support Ltd. United Kingdom Philips and LiteOn Digital Solutions Netherlands Netherlands Georgia Southern University Statesboro GA Austria University of Salzburg Korea Republic of Sung Kyun Kwan University Malaysia International Islamic University Malaysia Malaysia Aries Design Automation United States Lakehead University Canada IEEE Canada Board of Directors Canada Eindhoven University of Technology Lithuania Vytautas Magnus University Greece Siemens IT Solutions and Services Slovakia Sun Yat-Sen University China National Kaohsiung University of Applied Sciences Taiwan Feng Chia University Taiwan Shu-Te University Canada University of Northern British Columbia Australia University of South Australia Viet Nam Vietnamese Academy of Science and Technology Viet Nam C. V. Raman College of Engineering India Mentouri University Constantine Spain University of Balearic Islands Spain University of Seville France CEA France ENSTA France Florida International University Japan Tokai University Japan MultiGiG Inc. United States Karlsruhe University Portugal Universidade Nova de Lisboa Poland University of Zielona Gora India Malaviya National Institute of Technology Jaipur India Texas Instruments Inc United States National Tsing-Hua University Poland Warsaw University of Technology Korea Republic of Chungbuk National University China Shenzhen University Lithuania Vytautas Magnus University Kaunas Greece Hellenic Open University Patras Singapore National University of Singapore Sing

来源：评论

学校读者我要写书评

暂无评论

Adaptive Parallel Model Combination for reduced environmental mismatch in noisy speech recognition

Adaptive Parallel Model Combination for reduced environmenta...

引用

International Conference on Electronic Design (ICED)

作者： S. S. Tan Abdul Manan Ahmad Software Engineering Department Faculty ofComputer Science and Information System University of Technology Malaysia Speech Laboratory Faculty ofComputer Science and Information System University of Technology Malaysia

Due to environmental mismatch, speech recognition systems often exhibit drastic performance degradation in noisy conditions. This paper presents a model based technique termed adaptive parallel model combination (APMC) which compensates the initial acoustic models to reduce the discrepancy. APMC used the well-known PMC technique to composite a set of corrupted speech models, while fine tuning the mean parameter of the models using a transformation-based adaptation technique called Maximum Likelihood Spectral Transformation (MLST). Evaluated on a context-independent phone recognition task, APMC was found to be superior to both PMC and MLST, especially in non-stationary noisy conditions. On average, APMC has achieved 48.81% improvement over the initial models, whereas PMC and MLST have improved the accuracy by 34.12% and 35.23% respectively.

关键词： Noise reduction Working environment noise Speech recognition Hidden Markov models Noise robustness information systems Degradation Speech enhancement software engineering Acoustic noise

来源：评论

学校读者我要写书评

暂无评论

Identification for a kind of Disturbed multi-dimensional Wiener system

引用

IFAC Proceedings Volumes 2008年第2期41卷 10240-10245页

作者： Dan Fan Guiming Luo Yue Zhao Wook-Hyun Kwon School of Software Tsinghua University Key Laboratory for Information System Security Ministry of Education China Tsinghua University Beijing 100084 China School of Electrical Engineering Seoul National University Seoul 151-742 Korea

Multi-Input Single-Output (MISO) Wiener system is comprised of a multi-dimensional linear subsystem and a memoryless nonlinear block. In this paper a disturbed MISO Wiener system is concerned, of which the nonlinearity is discontinuous piece-wise linear characteristic. A recursive algorithm is proposed for identifying all of unknown system parameters. It is shown that the algorithm is convergent. Finally, some simulation results illustrate the identification theoretic results.

关键词： convergency interference noise multi-dimensional recursive estimation system identification Wiener system

来源：评论

学校读者我要写书评

暂无评论

Advanced QoS methods for Grid workflows based on meta-negotiations and SLA-mappings

Advanced QoS methods for Grid workflows based on meta-negoti...

引用

Workshop on Workflows in Support of Large-Scale Science, WORKS

作者： Ivona Brandic Dejan Music Schahram Dustdar Srikumar Venugopal Rajkumar Buyya Institute of Information Systems University of Technology Vienna Austria Grid Computing and Distributed System (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

In novel market-oriented resource sharing models, resource consumers pay for the resource usage and expect that non-functional requirements for the application execution, termed as quality of service (QoS), are satisfied. QoS is negotiated between two parties following the specific negotiation protocols and is recorded using service level agreements (SLAs). However, most of the existing work assumes that the communication partners know about the SLA negotiation protocols and about the SLA templates before entering the negotiation. However, this is a contradictory assumption, if we consider computational grids and novel, commercially oriented computing clouds where consumers and providers meet each other dynamically. In this paper, we present novel meta-negotiation and SLA-mapping solutions for grid workflows bridging the gap between current QoS models and grid workflows, one of the most successful grid programming paradigms. We illustrate the open research issues with a real world case study. Thereafter, we present document models for the specification of meta-negotiations and SLA-mappings. We discuss the architecture for the management of meta-negotiations and SLA-mappings as well as integration of the architecture into a grid workflow management framework.

关键词： Quality of service Protocols Grid computing Cloud computing Resource management information systems Laboratories Computer science software engineering Application software

来源：评论

学校读者我要写书评

暂无评论

Covert channel mitigation method for secure real-time database using capacity metric

引用

Tongxin Xuebao/Journal on Communications 2008年第8期29卷 46-56页

作者： Zeng, Hai-Tao Wang, Yong-Ji Ruan, Li Zu, W. Cai, Jia-Yong Lab for Internet Software Technology Institute of Software Chinese Academy of Science Beijing 100190 China Key Laboratory for Computer Science Chinese Academy of Sciences Beijing 100190 China Graduate University Chinese Academy of Sciences Beijing 100049 China National Engineering Research Center for Fundamental Software Institute of Software Chinese Academy of Science Beijing 100190 China Integrate Information System Research Center Institute of Automation Chinese Academy of Science Beijing 100190 China

A capacity using covert channel mitigation method (CUCCMM) was proposed. This method uses capacity as metric for channel danger measure according to trusted computer system evaluation criteria (TCSEC) and multiple probabilities based protocol selection policy (MPBPSP) to guide die application of secure concurrency control protocol. The algorithms of channel's capacity measure and policy's parameter computing are also presented. Experimental results show that CUCCMM implements the restriction criterion on channel's capacity effectively and accurately, and the MPBPSP significantly decreases the influence of restriction operation on real-time performance.

关键词： Concurrency control

来源：评论

学校读者我要写书评

暂无评论

On Directional K-Coverage Analysis of Randomly Deployed Camera Sensor Networks

On Directional K-Coverage Analysis of Randomly Deployed Came...

引用

IEEE International Conference on Communications (ICC)

作者： L. Liu H. Ma X. Zhang Beijing Key Laboratory of Intelligent Telecommunication Software and Multimedia Beijing University of Posts and Telecommunications Beijing China Networking and Information System Laboratory Department of Electrical and Computer Engineering Texas A and M University College Station TX USA

Recently, smart surveillance is becoming a very important application of camera sensor networks. Most face recognition and tracking techniques employed in surveillance systems rely on the assumption of a frontal view of the human face. In order to detect the precise face orientation by cooperation among multiple cameras, we need to guarantee that each point in monitored region be covered by more than one camera. In this paper, we address the problem of Directional if-Coverage (DKC) in camera sensor networks. The DKC problem is different from that in conventional sensor networks due to the two aspects: directionality of sensing model and effective sensing. In particular, we propose a mathematical model to describe the relation among the number of cameras deployed randomly, the range of effective sensing angle, and the rate of directional if-coverage. Finally, we use simulations to show the effectiveness of deploying our model in practical scenarios.

关键词： Face detection Monitoring Sensor phenomena and characterization Intelligent sensors Smart cameras Telecommunications Humans Mathematical model Video surveillance Eyes

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：