Filter Results:
- Full text PDF available (94)
Publication Year
1985
2018
- This year (8)
- Last 5 years (46)
- Last 10 years (91)
Publication Type
Co-author
Journals and Conferences
Learn More
- Carl A. Gunter
- Foundations of computing
- 1993
PLAN (Packet Language for Active Networks) is a new language for programs that form the packets of a programmable network. These programs replace the packet headers (which can be viewed as very… (More)
- Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave
- IEEE Software
- 2000
M a y / J u n e 2 0 0 0 I E E E S O F T W A R E 37 between the user-requirements specification and the software-requirements specification, mandating complete documentation of each according to… (More)
- Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gunter
- J. ACM
- 2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: correctness of the… (More)
- Muhammad Naveed, Manoj Prabhakaran, Carl A. Gunter
- 2014 IEEE Symposium on Security and Privacy
- 2014
Dynamic Searchable Symmetric Encryption allows a client to store a dynamic collection of encrypted documents with a server, and later quickly carry out keyword searches on these encrypted documents,… (More)
- Michael J. May, Carl A. Gunter, Insup Lee
- 19th IEEE Computer Security Foundations Workshop…
- 2006
There is a growing interest in establishing rules to regulate the privacy of citizens in the treatment of sensitive personal data such as medical and financial records. Such rules must be respected… (More)
- Xiao-yong Zhou, Soteris Demetriou, +5 authors Klara Nahrstedt
- ACM Conference on Computer and Communications…
- 2013
The design of Android is based on a set of unprotected shared resources, including those inherited from Linux (e.g., Linux public directories). However, the dramatic development in Android… (More)
- Kaijun Tan, Jason Crampton, Carl A. Gunter
- Proceedings. 17th IEEE Computer Security…
- 2004
Workflow management systems (WFMSs) have attracted a lot of interest both in academia and the business community. A workflow consists of a collection of tasks that are organized to facilitate some… (More)
- Scott Alexander, William A. Arbaugh, +6 authors Jonathan M. Smith
- 1998
Active networks must balance the exibility of a programmable network infrastructure against the safety and security requirements inherent in sharing that infrastructure. Furthermore, this balance… (More)
- Carl A. Gunter, Dana S. Scott
- Handbook of Theoretical Computer Science, Volume…
- 1990