2209 search results - page 378 / 442 » Language Based Secure Communication |
135
Voted
OOPSLA
2004
Springer
15 years 8 months ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
132
Voted
JCS
2008
15 years 2 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
126
click to vote
PADS
2006
ACM
15 years 9 months ago
2006
ACM
Simulation is a low cost alternative to experimentation on real-world physical systems. Grid technology enables coordinated use of and secure access to distributed computing resou...
133
click to vote
LICS
2002
IEEE
15 years 7 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
143
click to vote
ER
2001
Springer
15 years 7 months ago
2001
Springer
Document Management is an important component of a workflow management system. XML has become a prominent language for document processing and management, and has an additional adv...