Topic C.2.2 - Network Protocols

	G. Bella, E. Riccobene: Formal Analysis of the Kerberos Authentication System /jucs_3_12/formal_analysis_of_the	page 1337 - 1381 Vol.3 / Issue 12
	B. Benyó, M.F. Hatwágner, T. Heckenast, K. Kovács, Á. Varga, N. Varjasi: Design and Implementation of Enum-Based Services /jucs_12_9/design_and_implementation_of	page 1128 - 1138 Vol.12 / Issue 9
	S. Boudjit, C. Adjih, P. Mühlethaler, A. Laouiti: Duplicate Address Detection and Autoconfiguration in OLSR /jucs_13_1/duplicate_address_detection_and	page 4 - 31 Vol.13 / Issue 1
	C. Campo, F. Almenárez, D. Díaz, C. García-Rubio, A.M. López: Secure Service Discovery based on Trust Management for ad-hoc Networks /jucs_12_3/secure_service_discovery_based	page 340 - 356 Vol.12 / Issue 3
	Y. Dodis, P.J. Lee, D.H. Yum: Optimistic Fair Exchange in a Multi-user Setting /jucs_14_3/optimistic_fair_exchange_in	page 318 - 346 Vol.14 / Issue 3
	N. A. Elramly, A. S. Habib, O. S. Essa, H. M. Harb: Analysis, Design, and Performance Evaluation of MS-RTCP: More Scalable Scheme for the Real-Time Control Protocol /jucs_11_6/analysis_design_and_performance	page 874 - 897 Vol.11 / Issue 6
	H. Hojjat, H. Nakhost, M. Sirjani: Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP) /jucs_13_13/integrating_module_checking_and	page 2076 - 2104 Vol.13 / Issue 13
	N. Hundewale, S. Jung, A. Zelikovsky: Energy Efficient Node Caching and Load Balancing Enhancement of Reactive Ad Hoc Routing Protocols /jucs_13_1/energy_efficient_node_caching	page 110 - 132 Vol.13 / Issue 1
	O. Koné: An Inoteroperability Testing Approach to Wireless Applications Protocols /jucs_9_10/an_inoteroperability_testing_approach	page 1220 - 1243 Vol.9 / Issue 10
	S. Lafrance: Symbolic Approach to the Analysis of Security Protocols /jucs_10_9/symbolic_approach_to_the	page 1156 - 1198 Vol.10 / Issue 9
	S. Lafrance, J. Mullins: An Information Flow Method to Detect Denial of Service Vulnerabilities /jucs_9_11/an_information_flow_method	page 1350 - 1369 Vol.9 / Issue 11
	S. Lee, H. Kim, C. Kim: A Knowledge Discovery Agent for a Topology Bit-map in Ad Hoc Mobile Networks /jucs_14_7/a_knowledge_discovery_agent	page 1105 - 1117 Vol.14 / Issue 7
	R. Malik, R. Mühlfeld: A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol /jucs_9_2/a_case_study_in	page 138 - 151 Vol.9 / Issue 2
	P. Matoušek: Tools for Parametric Verification. A Comparison on a Case Study /jucs_10_10/tools_for_parametric_verification	page 1469 - 1494 Vol.10 / Issue 10
	A. Nenadic, N. Zhang, B. Cheetham, C. Goble: RSA-based Certified Delivery of E-Goods Using Verifiable and Recoverable Signature Encryption /jucs_11_1/rsa_based_certified_delivery	page 175 - 192 Vol.11 / Issue 1
	D.-Q. Nguyen, P. Minet: Quality of Service Routing in a MANET with OLSR /jucs_13_1/quality_of_service_routing	page 56 - 86 Vol.13 / Issue 1
	M. Qin, R. Zimmermann: VCA: An Energy-Efficient Voting-Based Clustering Algorithm for Sensor Networks /jucs_13_1/vca_an_energy_efficient	page 87 - 109 Vol.13 / Issue 1
	P. Takács: The Additional Examination of the Kudo-Mathuria Time-Release Protocol /jucs_12_9/the_additional_examination_of%20	page 1373 - 1384 Vol.12 / Issue 9
	G. Yang, D.S. Wong, X. Deng: Formal Security Definition and Efficient Construction for Roaming with a Privacy-Preserving Extension /jucs_14_3/formal_security_definition_and	page 441 - 462 Vol.14 / Issue 3
	Z. Đurić, O. Marić, D. Gašević: Internet Payment System: A New Payment System for Internet Transactions /jucs_13_4/internet_payment_system_a	page 479 - 503 Vol.13 / Issue 4