1653 search results - page 145 / 331 » Timed analysis of security protocols |
105
click to vote
IEEEARES
2008
IEEE
15 years 9 months ago
2008
IEEE
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...
125
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. The Navy needs to use Multi Level Security (MLS) techniques in an environment with increasing amount of real time computation brought about by increased automation requir...
124
Voted
RTCSA
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. We present an approach to static priority preemptive process scheduling for the synthesis of hard realtime distributed embedded systems where communication plays an impor...
128
Voted
WICON
2008
15 years 4 months ago
2008
In this paper, we discuss key management challenges for seamless handovers across heterogeneous wireless networks. We focus on utilizing existing keying material from previous acc...
115
click to vote
ICDCS
2009
IEEE
16 years 17 days ago
2009
IEEE
Although distributed key generation (DKG) has been studied for some time, it has never been examined outside of the synchronous setting. We present the first realistic DKG archit...