6137 search results - page 398 / 1228 » Securing Collaborative Applications |
198
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...
146
Voted
GI
2009
Springer
15 years 4 months ago
2009
Springer
: The Sensor Integration Package is a reusable subsystem, combining the complementary capabilities of radar, infra red and long range day light camera, laser, image processing soft...
216
click to vote
CODES
2005
IEEE
16 years 14 days ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
210
click to vote
ISLPED
2003
ACM
16 years 3 days ago
2003
ACM
Security is critical to a wide range of wireless data applications and services. While several security mechanisms and protocols have been developed in the context of the wired In...
207
click to vote
CASES
2010
ACM
15 years 4 months ago
2010
ACM
Although cryptographic algorithms are designed to resist at least thousands of years of cryptoanalysis, implementing them with either software or hardware usually leaks additional...