806 search results - page 94 / 162 » Privacy Policy Referencing |
CSFW
2007
IEEE
14 years 4 months ago
2007
IEEE
Although static systems for information flow security are well-studied, few works address run-time information flow monitoring. Run-time information flow control offers distinc...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
In the article we present two untraceability protocols for mobile agents. Comparing to other solutions, the advantage of the protocols is that they support agent’s autonomy in c...
ACSAC
1999
IEEE
14 years 2 months ago
1999
IEEE
In this article, we describe a new architecture providing the access control service in both ATM and IPover-ATM networks. This architecture is based on agents distributed in netwo...
AGENTS
1998
Springer
14 years 2 months ago
1998
Springer
Mobile agents are programs that can migrate from machine to machine in a heterogeneous, partially disconnected network. As mobile agents move across a network, they consume resour...
CSFW
2004
IEEE
14 years 1 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...