Search results for: D. Gordon
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 212-226
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 418-434
Lecture Notes in Computer Science > Foundations of Security Analysis and Design VI > Foundations of Security Analysis and Design > 66-100
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2000 > Invited Talks > 1-20
Lecture Notes in Computer Science > Software Security — Theories and Systems > Proof-Carrying Code and Type Systems for Security Protocols > 263-282
Lecture Notes in Computer Science > Higher Order Logic Theorem Proving and Its Applications > 413-425
Lecture Notes in Computer Science > Programming Languages and Systems > Distributed Programs: Verification and Analysis > 295-313
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 46-60
Lecture Notes in Computer Science > Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics > Validating firewalls in mobile ambients > 333-347