14850 search results - page 2600 / 2970 » The Security of |
168
click to vote
PPDP
2005
Springer
16 years 11 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
162
click to vote
RAID
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. It is commonly accepted that intrusion detection systems (IDS) are required to compensate for the insufficient security mechanisms that are available on computer systems...
183
click to vote
RTA
2005
Springer
16 years 11 days ago
2005
Springer
Proof-carrying code 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 ...
189
click to vote
RULEML
2005
Springer
16 years 11 days ago
2005
Springer
Enforcing rich policies in open environments will increasingly require the ability to dynamically identify external sources of information necessary to enforce different policies (...
142
click to vote
SACRYPT
2005
Springer
16 years 11 days ago
2005
Springer
Radio frequency identification systems based on low-cost computing devices is the new plaything that every company would like to adopt. Its goal can be either to improve the produ...