2575 search results - page 87 / 515 » Providing security with insecure systems |
177
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
180
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
Existing authorization mechanisms fail to provide powerful and robust tools for handling security at the scale necessary for today's Internet. These mechanisms are coming unde...
177
click to vote
TKDE
2002
15 years 5 months ago
2002
Database systems for real-time applications must satisfy timing constraints associated with transactions. Typically, a timing constraint is expressed in the form of a deadline and ...
186
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
The ability to locate random relays is a key challenge for peer-to-peer (P2P) anonymous communication systems. Earlier attempts like Salsa and AP3 used distributed hash table look...
158
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
Many agent-based systems have been developed over the past decade; however, the security issues are usually not addressed adequately. In order to make the mobile agent paradigm mo...