Verification of Secure Network Protocols in Uncertain Environments (English)
- New search for: Damiani, S.
- New search for: Griffin, C.
- New search for: Rogan, C.
- New search for: Damiani, S.
- New search for: Griffin, C.
- New search for: Rogan, C.
In:
INTERNATIONAL JOURNAL OF WIRELESS INFORMATION NETWORKS
;
13
, 3
;
221-228
;
2006
-
ISSN:
- Article (Journal) / Print
-
Title:Verification of Secure Network Protocols in Uncertain Environments
-
Contributors:
-
Published in:INTERNATIONAL JOURNAL OF WIRELESS INFORMATION NETWORKS ; 13, 3 ; 221-228
-
Publisher:
- New search for: Springer Science + Business Media
-
Publication date:2006-01-01
-
Size:8 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 384.5
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 384.5 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 13, Issue 3
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 173
-
Broadband-Facilitated Inter-WLAN Mobility ArchitectureRahman, Moshiur / Harmantzis, Fotios et al. | 2006
- 193
-
Energy-efficient Routing of Multimedia Traffic in Frequency-Hop Packet Radio NetworksPursley, Michael B. / Russell, Harlan B. / Wysocarski, Jeffrey S. et al. | 2006
- 207
-
An Iterative Receiver for Uplink of Coded MIMO DS-CDMA System Employing Layered Space-Time TransmissionJeong, Jun H. / Kavehrad, Mohsen et al. | 2006
- 221
-
Verification of Secure Network Protocols in Uncertain EnvironmentsDamiani, Sarah / Griffin, Christopher / Phoha, Shashi / Racunas, Stephan / Rogan, Christopher et al. | 2006
- 229
-
Soft-Decision Decoding of Punctured Convolutional Codes in Asynchronous-CDMA Communications Under Perfect Phase-Tracking ConditionsBhaskar, Vidhyacharan et al. | 2006
- 239
-
Improving CS-4 User Data Rate in GPRS Enabled Devices by Using a BLER Co-processorSherratt, R. Simon / Zhang, Kai / Wilkes, Owen J. et al. | 2005
- 253
-
A New Empirical Formula for Handover Rate in Microcellular SystemsSingh, Brahmjit / Aggarwal, K. K. / Kumar, Shakti et al. | 2005