Anthony Chung

Publication Activity (10 Years)

Years Active: 1989-2018
Publications (10 Years): 2

Top Topics

Denial Of Service Attacks

Software Package

Top Venues

Publications

Rami Ghannam, Filipo Sharevski, Anthony Chung
User-targeted Denial-of-Service Attacks in LTE Mobile Networks. WiMob (2018)
Rami Ghannam, Anthony Chung
Handling malicious switches in software defined networks. NOMS (2016)
Anthony Chung
On Testing of Implementation Correctness of Protocol Based Intrusion Detection Systems. SERA (2011)
Tao Huang, Anthony Chung
Finding Narrow Input/Output (NIO) Sequences by Model Checking. SERA (2008)
Tao Huang, Anthony Chung
A Lightweight Executable Test Sequence Generation Method for Communication Protocols Modeled by EFSM. Int. J. Comput. Their Appl. 13 (2) (2006)
Anthony Chung, Tao Huang
Two Approaches for the Improvement in Testability of Communication Protocols. ACIS-ICIS (2005)
Tao Huang, Anthony Chung
An Effective Method for Executable Test Generation of EFSM Protocols. IASSE (2003)
Anthony Chung, Tao Huang
An Experiment in the Generation of Executable Test Sequences for the Inres Protocol. SNPD (2003)
Anthony Chung
On the Lengths of Protocol Conformance Test Sequences Using Minimal Input Set for UIO's. CAINE (2001)
Anthony Chung, Howard E. Motteler, Deepinder P. Sidhu
On undetected faults in homogeneous methods for protocol testing. CATA (2000)
Anthony Chung, Deepinder P. Sidhu
A tool for simulating telecommunications networks and its application in networking courses. CATA (1999)
Anthony Chung, Deepinder P. Sidhu
A formal description technique and an environment for protocol engineering. CATA (1998)
Howard E. Motteler, Anthony Chung, Deepinder P. Sidhu
Undetected faults in protocol testing. IEEE Trans. Commun. 43 (8) (1995)
Deepinder P. Sidhu, Anthony Chung, Chun-Shi Chang
Probabilistic testing of OSI protocols. IEEE Trans. Commun. 42 (7) (1994)
Anthony Chung
Guest Editorial. J. High Speed Networks 2 (3) (1993)
Howard E. Motteler, Anthony Chung, Deepinder P. Sidhu
Fault Coverage of UIO-based Methods for Protocol Testing. Protocol Test Systems (1993)
Anthony Chung, Deepinder P. Sidhu
Applications of Sufficient Conditions for Efficient Protocol Test Generation. Protocol Test Systems (1992)
Deepinder P. Sidhu, Anthony Chung, Thomas P. Blumer
Experience with formal methods in protocol development. Comput. Commun. Rev. 21 (2) (1991)
Anthony Chung, Deepinder P. Sidhu
Experience with an Estelle development system. Formal Methods in Software Development (1990)
Deepinder P. Sidhu, Anthony Chung
Experience with Formal Methods in Protocol Development. FORTE (1989)
Anthony Chung, Deepinder P. Sidhu
On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines. IEEE Trans. Software Eng. 15 (11) (1989)