650 search results - page 50 / 130 » Privacy in Non-private Environments |
165
click to vote
CSFW
2009
IEEE
16 years 29 days ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
125
click to vote
OOPSLA
2009
Springer
16 years 22 days ago
2009
Springer
Model transformation languages, the cornerstone of Modelngineering, often lack mechanisms for abstraction, reuse and debugging. We propose a model transformation k providing diffe...
159
click to vote
IEEEARES
2008
IEEE
16 years 18 days ago
2008
IEEE
—Failure detectors are a fundamental part of safe fault-tolerant distributed systems. Many failure detectors use heartbeats to draw conclusions about the state of nodes within a ...
184
click to vote
ACSAC
2007
IEEE
16 years 16 days ago
2007
IEEE
The growth of the applications and services market for mobile devices is currently slowed down by the lack of a flexible and reliable security infrastructure. The development and...
128
click to vote
IEEEARES
2007
IEEE
16 years 15 days ago
2007
IEEE
Security is an elusive target in today’s high-speed and extremely complex, Web enabled, information rich business environment. This paper presents the idea that there are essent...