7741 search results - page 181 / 1549 » Security in Active Networks |
166
click to vote
AINA
2007
IEEE
16 years 28 days ago
2007
IEEE
The Mobile Agent (MA) paradigm advocates the migration of agent code to achieve computational goals. MAs require an executable environment on hosts where mobile code can be execut...
154
click to vote
CASSIS
2004
Springer
15 years 12 months ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
168
click to vote
FUIN
2007
15 years 6 months ago
2007
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...
175
click to vote
ASIACRYPT
2000
Springer
15 years 10 months ago
2000
Springer
A conference key protocol allows a group of participants to establish a secret communication (conference) key so that all their communications thereafter are protected by the key. ...
145
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
High security network transactions require the checking of the revocation status of public key certificates. On mobile systems this may lead to excessive delays and unacceptable p...