| ²é¿´: 415 | »Ø¸´: 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 лл£¡ |
» ²ÂÄãϲ»¶
070300»¯Ñ§319Çóµ÷¼Á
ÒѾÓÐ7È˻ظ´
08¹¤¿Æ 320×Ü·Ö Çóµ÷¼Á
ÒѾÓÐ6È˻ظ´
Ò»Ö¾Ô¸Ìì½ò´óѧ»¯Ñ§¹¤ÒÕרҵ£¨081702£©315·ÖÇóµ÷¼Á
ÒѾÓÐ12È˻ظ´
307Çóµ÷¼Á
ÒѾÓÐ3È˻ظ´
265Çóµ÷¼Á
ÒѾÓÐ3È˻ظ´
301Çóµ÷¼Á
ÒѾÓÐ10È˻ظ´
303Çóµ÷¼Á
ÒѾÓÐ7È˻ظ´
²ÄÁϹ¤³Ì£¨×¨£©Ò»Ö¾Ô¸985 ³õÊÔ335Çóµ÷¼Á
ÒѾÓÐ4È˻ظ´
299Çóµ÷¼Á
ÒѾÓÐ6È˻ظ´
083200ѧ˶321·ÖÒ»Ö¾Ô¸ôßÄÏ´óѧÇóµ÷¼Á
ÒѾÓÐ3È˻ظ´
» ±¾Ö÷ÌâÏà¹Ø¼ÛÖµÌùÍÆ¼ö£¬¶ÔÄúͬÑùÓаïÖú:
Çó°ïæ²éһϣºAMM.477-478ÉϵÄһƪÂÛÎÄÊÇ·ñÒѼìË÷£¡Ð»Ð»£¡
ÒѾÓÐ4È˻ظ´
Çó°ïæ²éһϣºAMM.427-429ÉϵÄһƪÂÛÎÄÊÇ·ñÒѼìË÷£¡Ð»Ð»£¡
ÒѾÓÐ3È˻ظ´
°ïæ²éÒ»ÏÂÕâÆªÂÛÎĵļìË÷Çé¿ö
ÒѾÓÐ3È˻ظ´
ÇóÖú²éÕÒ2ƪSCIÂÛÎĵļìË÷ºÅ
ÒѾÓÐ13È˻ظ´
ÄÄÀï¿ÉÒÔ³ö²éлò¼ìË÷±¨¸æ£¿
ÒѾÓÐ8È˻ظ´
ÄÄλ´óÏÀ°ïæ²éһϣ¬ÕâÁ½ÆªÎÄÕ£¬ÊÇ·ñÒѾ±»SCIÊÕ¼£¬ÆÀÖ°³Æ¼±ÓÃ
ÒѾÓÐ9È˻ظ´
ÇëÄÄλ´óÏÀ°ïæ²éһƪÎÄÕÂÊÇ·ñ±»ISTP¼ìË÷
ÒѾÓÐ5È˻ظ´
leowing
ľ³æ (ÕýʽдÊÖ)
- Ó¦Öú: 12 (СѧÉú)
- ½ð±Ò: 1613.9
- Ìû×Ó: 424
- ÔÚÏß: 103.8Сʱ
- ³æºÅ: 139936
- ×¢²á: 2005-12-19
- רҵ: ¼ÆËã»úÈí¼þ
2Â¥2014-02-20 23:18:45
tianya2011
¾èÖú¹ó±ö (СÓÐÃûÆø)
- Ó¦Öú: 4 (Ó×¶ùÔ°)
- ½ð±Ò: 20.7
- É¢½ð: 2113
- ºì»¨: 3
- Ìû×Ó: 147
- ÔÚÏß: 78.4Сʱ
- ³æºÅ: 1288023
- ×¢²á: 2011-05-06
- רҵ: ÐźÅÀíÂÛÓëÐźŴ¦Àí
¡¾´ð°¸¡¿Ó¦Öú»ØÌû
¡ï ¡ï ¡ï ¡ï ¡ï
leowing: ½ð±Ò+5, ¡ï¡ï¡ï¡ï¡ï×î¼Ñ´ð°¸, лл£¡ 2014-02-21 11:01:33
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













»Ø¸´´ËÂ¥