What Packets May Come: Automata for Network Monitoring (English)
- New search for: Bhargavan, K.
- New search for: Chandra, S.
- New search for: McCann, P. J.
- New search for: Gunter, C. A.
- New search for: Association for Computing Machinery
- New search for: Bhargavan, K.
- New search for: Chandra, S.
- New search for: McCann, P. J.
- New search for: Gunter, C. A.
- New search for: Association for Computing Machinery
In:
Principles of programming languages; Conference record of POPL 2001 the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages
3
;
206-219
;
2001
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:What Packets May Come: Automata for Network Monitoring
-
Contributors:Bhargavan, K. ( author ) / Chandra, S. ( author ) / McCann, P. J. ( author ) / Gunter, C. A. ( author ) / Association for Computing Machinery
-
Conference:Symposium; 28th, Principles of programming languages; Conference record of POPL 2001 the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages ; 2001 ; London
-
Published in:ACM SIGPLAN NOTICES ; 36, 3 ; 206-219
-
Publisher:
- New search for: ACM Press
-
Publication date:2001-01-01
-
Size:14 pages
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
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.
- 1
-
Programming Language Methods in Computer SecurityMitchell, J. C. / Association for Computing Machinery et al. | 2001
- 4
-
Extensionality and Intensionality of the Ambient LogicsSangiorgi, D. / Association for Computing Machinery et al. | 2001
- 14
-
BI as an Assertion Language for Mutable Data StructuresIshtiaq, S. / O Hearn, P. W. / Association for Computing Machinery et al. | 2001
- 27
-
Verifying Safety Properties of Concurrent Java Programs Using 3-Valued LogicYahav, E. / Association for Computing Machinery et al. | 2001
- 41
-
Colored Local Type InferenceOdersky, M. / Zenger, C. / Zenger, M. / Association for Computing Machinery et al. | 2001
- 54
-
Type-Based Flow Analysis: From Polymorphic Subtyping to CFL-ReachabilityRehof, J. / Fahndrich, M. / Association for Computing Machinery et al. | 2001
- 67
-
Regular Expression Pattern Matching for XMLHosoya, H. / Pierce, B. / Association for Computing Machinery et al. | 2001
- 81
-
The Size-Change Principle for Program TerminationLee, C. S. / Jones, N. D. / Ben-Amram, A. M. / Association for Computing Machinery et al. | 2001
- 93
-
An Abstract Monte-Carlo Method for the Analysis of Probabilistic ProgramsMonniaux, D. / Association for Computing Machinery et al. | 2001
- 102
-
Efficient Deductive Methods for Program AnalysisGanzinger, H. / Association for Computing Machinery et al. | 2001
- 102
-
Invited talk: Efficient Deductive Methods for Program AnalysisGanzinger, H. / Association for Computing Machinery et al. | 2001
- 104
-
Mobile Values, New Names, and Secure CommunicationAbadi, M. / Fournet, C. / Association for Computing Machinery et al. | 2001
- 116
-
Nomadic Pict: Correct Communication Infrastructure for Mobile ComputationUnyapoth, A. / Sewell, P. / Association for Computing Machinery et al. | 2001
- 128
-
A Generic Type System for the Pi-CalculusIgarashi, A. / Kobayashi, N. / Association for Computing Machinery et al. | 2001
- 142
-
Oracle-Based Checking of Untrusted SoftwareNecula, G. C. / Rahul, S. P. / Association for Computing Machinery et al. | 2001
- 155
-
Stratified Operational Semantics for Safety and Correctness of The Region CalculusCalcagno, C. / Association for Computing Machinery et al. | 2001
- 166
-
Type-Preserving Garbage CollectorsWang, D. C. / Appel, A. W. / Association for Computing Machinery et al. | 2001
- 179
-
A Compiler Technique for Improving Whole-Program LocalityKandemir, M. T. / Association for Computing Machinery et al. | 2001
- 193
-
Avoiding Exponential Explosion: Generating Compact Verification ConditionsFlanagan, C. / Saxe, J. B. / Association for Computing Machinery et al. | 2001
- 206
-
What Packets May Come: Automata for Network MonitoringBhargavan, K. / Chandra, S. / McCann, P. J. / Gunter, C. A. / Association for Computing Machinery et al. | 2001
- 220
-
Invited talk: Computational FluxMilner, R. / Association for Computing Machinery et al. | 2001
- 220
-
Computational FluxMilner, R. / Association for Computing Machinery et al. | 2001
- 222
-
Secure Safe AmbientsBugliesi, M. / Castagna, G. / Association for Computing Machinery et al. | 2001
- 236
-
Modules, Abstract Types, and Distributed VersioningSewell, P. / Association for Computing Machinery et al. | 2001
- 248
-
Typing a Multi-Language Intermediate CodeGordon, A. D. / Syme, D. / Association for Computing Machinery et al. | 2001
- 261
-
Type-Indexed RowsShields, M. / Meijer, E. / Association for Computing Machinery et al. | 2001
- 276
-
Subtyping Arithmetical TypesGil, J. / Association for Computing Machinery et al. | 2001
- 290
-
Combining Subsumption and Binary Methods: An Object Calculus with ViewsVouillon, J. / Association for Computing Machinery et al. | 2001