1147 search results - page 2 / 230 » Termination in language-based systems |
JCS
2006
13 years 5 months ago
2006
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
MEMOCODE
2003
IEEE
13 years 11 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
SP
2003
IEEE
13 years 11 months ago
2003
IEEE
Language run-time systems are often called upon to safely execute mutually distrustful tasks within the same runtime, protecting them from other tasks’ bugs or otherwise hostile...
USS
2010
13 years 3 months ago
2010
In recent years, many advances have been made in cryptography, as well as in the performance of communication networks and processors. As a result, many advanced cryptographic pro...
VMCAI
2007
Springer
13 years 11 months ago
2007
Springer