3420 search results - page 272 / 684 » A Language-Based Approach to Security |
144
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
General trust management model that we present is adapted for ad-hoc coalition environment, rather than for classic client-supplier relationship. The trust representation used in ...
170
click to vote
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
149
Voted
ANOR
2007
15 years 5 months ago
2007
We consider the problem of optimal position liquidation with the aim of maximizing the expected cash flow stream from the transaction in the presence of temporary or permanent ma...
165
Voted
FUIN
2007
15 years 5 months ago
2007
Proof-carryingcode provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set o...
152
click to vote
SIGCSE
2008
ACM
15 years 5 months ago
2008
ACM
This paper describes CyberCivics, a novel approach to computer science outreach that integrates hands-on computing experiences with the study of contemporary social and political ...