24小时热门版块排行榜    

查看: 372  |  回复: 2

leowing

木虫 (正式写手)

[求助] 帮忙查一下论文检索情况,谢谢 已有1人参与

论文题目:Formal Specification of Information Transmission Architecture Based on Automatic Generation of Primitives in Digital Campus
作者:Xiao Le Li, Ying Wen, Ming Weng

谢谢!
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

leowing

木虫 (正式写手)

已查到。。。
2楼2014-02-20 23:18:45
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

tianya2011

捐助贵宾 (小有名气)

【答案】应助回帖

★ ★ ★ ★ ★
leowing: 金币+5, ★★★★★最佳答案, 谢谢! 2014-02-21 11:01:33
Accession number:  20140217186971

  Title:  Formal specification of information transmission architecture based on automatic generation of primitives in digital campus
  Authors:  Li, Xiao Le1 ; Wen, Ying2 ; Weng, Ming1   
  Author affiliation:  1 Experimental teaching center, Guangxi University of Finance and Economics, Nanning 530003, China  
   2 China Mobile Group Guangxi Company Limited, Nanning, China  
  Source title:  Advanced Materials Research
  Abbreviated source title:  Adv. Mater. Res.
  Volume:  846-847
  Monograph title:  Advances in Mechatronics, Automation and Applied Information Technologies
  Issue date:  2014
  Publication year:  2014
  Pages:  1644-1647
  Language:  English
  ISSN:  10226680  
  ISBN-13:  9783037859391  
  Document type:  Conference article (CA)
  Conference name:  2013 International Conference on Mechatronics and Semiconductor Materials, ICMSCM 2013
  Conference date:  September 28, 2013 - September 29, 2013
  Conference location:  Xi'an, China
  Conference code:  101779  
  Sponsor:  International Informatization and Engineering Associations; Aljabal Algharby University; Azad University of Quchan; National Institute of Technology Rourkela; University Polytechnic of Bucharest
  Publisher:  Trans Tech Publications Ltd, Kreuzstrasse 10, Zurich-Durnten, CH-8635, Switzerland
  Abstract:  Based on comprehensive analysis on security requirements of information transmission, security primitive is generated by automatic tool in asymmetric key cryptosystem, and improved with addition of compositional factors. And then, formal processes of secure information transmission are constructed with composition method. Formal analysis shows that, secrecy, integrity, availability, controllability, non-repudiation and identifiability during information transmission can be insured by this architecture, as a common framework for development of various application systems in digital campus from the viewpoint of information security. © (2014) Trans Tech Publications, Switzerland.
  Number of references:  5
  Main heading:  Security of data  
  Controlled terms:  Chemical analysis  -  Information technology  
  Uncontrolled terms:  Application systems  -  Architecture-based  -  Automatic Generation  -  Comprehensive analysis  -  Formal Specification  -  Information transmission  -  Security primitives  -  Security requirements  
  Classification code:  723.2 Data Processing and Image Processing -  801 Chemistry -  804 Chemical Products Generally -  903 Information Science
  DOI:  10.4028/www.scientific.net/AMR.846-847.1644
  Database:  Compendex
   Compilation and indexing terms, © 2013 Elsevier Inc.
3楼2014-02-21 09:31:13
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 leowing 的主题更新
信息提示
请填处理意见