29 search results - page 5 / 6 » Inductive trace properties for computational security |
121
click to vote
NETGAMES
2006
ACM
15 years 7 months ago
2006
ACM
While psychologists analyze network game-playing behavior in terms of players’ social interaction and experience, understanding user behavior is equally important to network res...
227
Voted
POPL
2006
ACM
16 years 1 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
124
Voted
PERVASIVE
2008
Springer
15 years 1 months ago
2008
Springer
Opportunistic sensing allows applications to "task" mobile devices to measure context in a target region. For example, one could leverage sensorequipped vehicles to measu...
102
Voted
EUROSYS
2006
ACM
15 years 10 months ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...
117
Voted
ASIACRYPT
2003
Springer
15 years 6 months ago
2003
Springer
In this paper1 we propose a new symmetric block cipher with the following paradoxical traceability properties: it is computationally easy to derive many equivalent secret keys prov...