..............page:164-165
Formal Analysis AKA Protocol for 3G Based On SVO Logical
zhou peng1; yang shi-ping1; 2; shi cui-mei3 (1.college of electronic science and information technology of guizhou university; guiyang; 550025; 2. ming de college of guizhou university; guiyang; 550025; 3. college of science of hebei university of engineering; han dan; 056038)
..............page:161-163
..............page:145-146
..............page:169,165
..............page:166,163
..............page:157-158
..............page:151-152
..............page:154-155
..............page:149-150
..............page:189-190
..............page:156-157
..............page:148-149
..............page:143-144
..............page:139-140,138
..............page:141-142
..............page:130-131
..............page:210-211
..............page:203-204,173
..............page:159-160
..............page:152-153,142
..............page:147,146
..............page:133-134
..............page:194-195
..............page:174,172
..............page:185-186
..............page:175,150
..............page:171-172
..............page:184-185
..............page:176,179
..............page:177,55
..............page:188-189
..............page:197-198
..............page:201-202
..............page:205,211
..............page:212-213
..............page:209-210
..............page:213-214
..............page:16-17,13
..............page:124-126
..............page:180-181
..............page:33-34,43
..............page:199-200,198
..............page:196,195
..............page:116-117
..............page:182-183
Formal language B and RSL comparison
zhang hong1; 2 zou sheng-rong1 (1 college of information engineering; yangzhou university; yangzhou 225009; 2 jiangsu tv university wujin college; changzhou 213161)
..............page:115-116
..............page:114,134
..............page:112-113
..............page:135-136
the Interoperaion Technoligy Between J2EE and .NET Platform
kong liang; yin zhao-lin (1. education science and technology department; xuzhou institute of technology; xu zhou; jiangsu; china 221006 2. computer department; china university of mining and technology; xu zhou; jiangsu; china 221008)
..............page:14-16
..............page:178-179
..............page:129-130
..............page:38-39,53
..............page:126-127
..............page:111-112
..............page:110,113
..............page:119,109
..............page:101-102
..............page:93-94,97
..............page:107-108
..............page:45-46,50
..............page:137-138
..............page:106-107
..............page:120-121
..............page:100,108
..............page:40-41,37
..............page:104-105
..............page:132-133
..............page:102-103
..............page:192-194
..............page:122-123