25 search results - page 2 / 5 » ccs 1998 |
CCS
1998
ACM
13 years 11 months ago
1998
ACM
HCW
1998
IEEE
13 years 11 months ago
1998
IEEE
CCS is a resource management system for parallel high-performance computers. At the user level, CCS provides vendor-independent access to parallel systems. At the system administr...
KBSE
1998
IEEE
13 years 11 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
CCS
1998
ACM
13 years 11 months ago
1998
ACM
The Point-to-Point Tunneling Protocol (PPTP) is used to secure PPP connections over TCP/IP links. In this paper we analyze Microsoft's Windows NT implementation of PPTP. We s...
CCS
1998
ACM
13 years 11 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...