3821 search results - page 368 / 765 » A Security Model for Aglets |
163
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Recent years have seen unprecedented growth in the popularity of social network systems, with Facebook being an archetypical example. The access control paradigm behind t...
203
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...
154
click to vote
CALCO
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
160
click to vote
ISPEC
2007
Springer
16 years 28 days ago
2007
Springer
Denial of Service (DoS) attacks are a virulent type of attack on the availability of networks’ intended services and resources. Defense against DoS attacks has been built into th...
168
click to vote
WS
2005
ACM
16 years 10 days ago
2005
ACM
The growing popularity of mobile networks makes them increasingly attractive to virus writers, and malicious code targeting mobile devices has already begun to appear. Unfortunate...