Programming Languages and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

27

(FIVE YEARS 0)

H-INDEX

13

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540008866, 9783540365754

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Simple Language for Real-Time Cryptographic Protocol Analysis

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36575-3_9 ◽

2003 ◽

pp. 114-128 ◽

Author(s):

Roberto Gorrieri ◽

Enrico Locatelli ◽

Fabio Martinelli

Keyword(s):

Real Time ◽

Protocol Analysis ◽

Cryptographic Protocol ◽

Simple Language ◽

Cryptographic Protocol Analysis

Download Full-text

Rule Formats for Non Interference

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36575-3_10 ◽

2003 ◽

pp. 129-143 ◽

Author(s):

Simone Tini

Download Full-text

Building Certified Libraries for PCC: Dynamic Storage Allocation

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36575-3_25 ◽

2003 ◽

pp. 363-379 ◽

Author(s):

Dachuan Yu ◽

Nadeem A. Hamid ◽

Zhong Shao

Keyword(s):

Storage Allocation ◽

Dynamic Storage Allocation ◽

Dynamic Storage

Download Full-text

Correction of Functional Logic Programs

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36575-3_5 ◽

2003 ◽

pp. 54-68 ◽

Author(s):

Maria Alpuente ◽

Demis Ballis ◽

Francisco J. Correa ◽

Moreno Falaschi

Keyword(s):

Logic Programs ◽

Functional Logic

Download Full-text

Requirements on the Execution of Kahn Process Networks

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36575-3_22 ◽

2003 ◽

pp. 319-334 ◽

Author(s):

Marc Geilen ◽

Twan Basten

Keyword(s):

Process Networks ◽

Download Full-text

Handling Encryption in an Analysis for Secure Information Flow

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36575-3_12 ◽

2003 ◽

pp. 159-173 ◽

Author(s):

Peeter Laud

Keyword(s):

Information Flow ◽

Secure Information

Download Full-text

Correctness of Data Representations Involving Heap Data Structures

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36575-3_16 ◽

2003 ◽

pp. 223-237 ◽

Author(s):

Uday S. Reddy ◽

Hongseok Yang

Keyword(s):

Data Structures ◽

Data Representations

Download Full-text

What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36575-3_2 ◽

2003 ◽

pp. 10-21 ◽

Author(s):

Catherine Meadows

Keyword(s):

Protocol Analysis ◽

Requirements Specification ◽

Cryptographic Protocol ◽

Cryptographic Protocol Analysis

Download Full-text

Computer Security from a Programming Language and Static Analysis Perspective

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36575-3_1 ◽

2003 ◽

pp. 1-9 ◽

Author(s):

Xavier Leroy

Keyword(s):

Computer Security ◽

Static Analysis ◽

Programming Language

Download Full-text

Flexible Models for Dynamic Linking

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36575-3_4 ◽

2003 ◽

pp. 38-53 ◽

Author(s):

Sophia Drossopoulou ◽

Giovanni Lagorio ◽

Susan Eisenbach

Keyword(s):

Dynamic Linking ◽

Flexible Models

Download Full-text