890 search results - page 23 / 178 » Programming language methods in computer security |
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
CORR
2000
Springer
13 years 7 months ago
2000
Springer
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
EUROMICRO
1997
IEEE
13 years 11 months ago
1997
IEEE
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...
OOPSLA
2004
Springer
14 years 23 days ago
2004
Springer
We have designed a CS 1 course that integrates event-driven programming from the very start. In [2] we argued that event-driven programming is simple enough for CS 1 when introduc...
FORTE
2009
13 years 5 months ago
2009
Orc was originally presented as a process calculus. It has now evolved into a full programming language, which we describe in this paper. The language has the structure and feel of...