Journal of the Graduate School of the Chinese Academy of Sciences 2002 Issue 3 Key Technologies in Securities of Wireless Electric Business

Journals A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Journal of the Graduate School of the Chinese Academy of Sciences
1002-1175
2002 Issue 3

..............page:334-341

..............page:324-333

..............page:311-323

..............page:306-310

Cryptographic Protocols for Electronic Voting
meng jiang tao ; feng deng guo ; hu zhen yu

..............page:295-305

Specifying Security Protocols with ASM
xue rui ; feng deng guo

..............page:263-270

..............page:254-262

..............page:246-253

..............page:240-245

Formal Specification of Cryptographic Protocols Using PVS
hu cheng jun ; zheng yuan ; lv shu wang ; shen chang xiang

..............page:233-239

Cryptanalysis of a Remote Password Authentication Scheme
fang gen xi ; dai zong zuo ; yang jun hui

..............page:229-232

Design of Wireless PKI
sun lin hong ; ye ding feng ; feng deng guo

..............page:223-228

..............page:288-294

Threshold Schemes Based on Pliicker Coordinates
wang ming sheng ; feng deng guo ; wang gui lin

..............page:282-287

A Simple Type System with Security Level in π-calculus
wang li bin ; chen ke fei

..............page:278-281

A Secure Mathematical Computation Protocol
lin dong zuo ; song zhi min ;paul s.wang

..............page:271-277