2808 search results - page 397 / 562 » Mobile Agent Security |
168
click to vote
ESORICS
2009
Springer
16 years 6 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...
142
click to vote
ENTCS
2008
15 years 6 months ago
2008
In the context of Dolev-Yao style analysis of security protocols, we consider the capability of an intruder to dynamically choose and assign names to agents. This capability has b...
153
click to vote
ISI
2006
Springer
15 years 6 months ago
2006
Springer
Strategic intelligence involves the efforts to understand the "Big Picture" emerging from data sources. Concerning textual data, this process involves the extraction of m...
132
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
The act of computer programming is generally considered to be temporally removed from a computer program’s execution. In this paper we discuss the idea of programming as an acti...
159
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents two novel and high performance hardware architectures, implemented in FPGA technology, for the KASUMI block cipher; this algorithm lies at the core of the conf...