1398 search results - page 53 / 280 » Ensuring Properties of Interaction Systems |
134
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
124
click to vote
CASSIS
2004
Springer
15 years 9 months ago
2004
Springer
We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached...
129
click to vote
ENTCS
2006
15 years 4 months ago
2006
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
114
Voted
NDSS
2007
IEEE
15 years 10 months ago
2007
IEEE
A direct recording electronic (DRE) voting machine must satisfy several requirements to ensure voter privacy and the integrity of the election. A recent proposal for a vote storag...
130
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
In order to prevent misunderstandings within groups of interacting agents, it is necessary to ensure that the agents' beliefs regarding the overall state of the interaction a...