- Firewall Policy Queries Alex X. Liu, Member, IEEE, and Mohamed G. Gouda, Member, IEEE
- A secure address resolution protocol Mohamed G. Gouda *, Chin-Tser Huang
- Firewall Design: Consistency, Completeness, and Compactness
- Journal of High Speed Networks 14 (2005) 107 107 Guest Editorial
- SPP: An anti-phishing single password protocol q Mohamed G. Gouda a
- Key Grids: A Protocol Family for Assigning Symmetric Keys Amitanand S. Aiyer
- Reliable Bursty Convergecast in Wireless Sensor Networks Hongwei Zhang
- Diverse Firewall Design Alex X. Liu Mohamed G. Gouda
- Key Bundles and Parcels: Secure Communication in Many Groups
- Theoretical Computer Science 410 (2009) 467480 Contents lists available at ScienceDirect
- Verification of Distributed Firewalls Mohamed G. Gouda
- Formal Specification and Verification of a Micropayment Protocol Mohamed G. Gouda and Alex X. Liu
- Appears in Proceedings of 8th International Conference on Principles of Distributed Systems (OPODIS 2004) Sentries and Sleepers in Sensor Networks
- Stabilizing Certificate Dispersal Mohamed G. Gouda and Eunjin (EJ) Jung
- Journal of High Speed Networks 14 (2005) 12 1 Guest Editorial
- On the Security and Vulnerability of PING Mohamed G. Gouda1
- Secret Instantiation in AdHoc Networks Sandeep S. Kulkarni Mohamed G. Gouda Anish Arora
- This article was published in an Elsevier journal. The attached copy is furnished to the author for non-commercial research and
- 308 IEEE TRANSACTIONS ON NETWORKING, VOL. 10, NO. 3, JUNE 2002 Hop Integrity in Computer Networks
- JOURNAL OF AEROSPACE COMPUTING, INFORMATION, AND COMMUNICATION Vol. 3, May 2006
- A line in the sand: a wireless sensor network for target detection, classification, and tracking q
- ExScal: Elements of an Extreme Scale Wireless Sensor Network Anish Arora
- The Theory of Weak Stabilization Mohamed G. Gouda1
- Single Password, Multiple Accounts Mohamed G. Gouda Alex X. Liu1
- Secret instantiation in ad-hoc networks* Sandeep S. Kulkarnia,
- Zmail : Zero-Sum Free Market Control of Spam Benjamin J. Kuipers, Alex X. Liu1
- Hop Chains: Secure Routing and the Establishment of Distinct Identities
- A State-Based Model of Sensor Protocols Mohamed G. Gouda and Young-ri Choi
- Sentries and Sleepers in Sensor Networks Mohamed G. Gouda1
- Stabilization of Routing in Directed Networks Jorge A. Cobb1
- Diverse Firewall Design Alex X. Liu, Member, IEEE, and Mohamed G. Gouda, Member, IEEE
- Distrib. Comput. (2007) 20:2128 DOI 10.1007/s00446-007-0033-1
- Structured firewall design q Mohamed G. Gouda, Alex X. Liu *
- Optimal Dispersal of Certificate Chains Eunjin (EJ) Jung, Member, IEEE, Ehab S. Elmallah, Member, IEEE, and
- JOURNAL OF AEROSPACE COMPUTING, INFORMATION, AND COMMUNICATION Vol. 3, October 2006
- Key bundles and parcels: Secure communication in many groups
- Journal of High Speed Networks 15 (2006) 173183 173 Convergence of IPsec in presence of resets
- Journal of High Speed Networks 14 (2005) 3957 39 Hello again
- Acta Informatica 36, 447462 (1999) c Springer-Verlag 1999
- Chicago Journal of Theoretical Computer Science
- SOFTWARE--PRACTICE AND EXPERIENCE, VOL. 25(4), 373387 (APRIL 1995) Implementation of the Sentry System
- Sources and Monitors: A Trust Model for Peer-to-Peer Networks
- Stabilization of Flood Sequencing Protocols in Sensor Networks
- The Truth System: Can a System of Lying Processes Stabilize?
- A State-Based Language for Sensor-Actuator Networks (Research supported in part by NSF award 0519907)
- The Disciplined Flood Protocol in Sensor Networks Young-ri Choi and Mohamed G. Gouda
- Rating Certificates Eunjin (EJ) Jung
- Logarithmic Keying of Communication Networks Mohamed G. Gouda1
- Fault Masking in Tri-redundant Systems Mohamed G. Gouda1
- Complete Redundancy Detection in Firewalls Alex X. Liu and Mohamed G. Gouda
- A Model of Stateful Firewalls and its Properties Mohamed G. Gouda and Alex X. Liu1
- Optimal dispersal of special certificate graphs Eunjin (EJ) Jung
- Optimal Dispersal of Certificate Chains Eunjin Jung1, Ehab S. Elmallah2, and Mohamed G. Gouda1
- Certificate Dispersal in Ad-Hoc Networks Mohamed G. Gouda and Eunjin Jung
- The Elusive Atomic Register AMBUJ K. SINGH
- International Journal of Network Security, Vol.7, No.1, PP.8288, July 2008 82 Formal Specification and Verification of a Secure
- Firewall Queries Alex X. Liu1
- Stabilization of Max-Min Fair Networks without Per-flow State
- A Stabilizing Deactivation/Reactivation Protocol Mehmet Hakan Karaata and Mohamed G. Gouda
- A Secure Cookie Protocol Alex X. Liu1
- Journal of Parallel and Distributed Computing 62, 922944 (2002) doi:10.1006/jpdc.2001.1830
- Antireplay Protocols for Sensor Networks Mohamed G. Gouda, Young-ri Choi and Anish Arora
- Firewall Queries Alex X. Liu1
