2897 search results - page 49 / 580 » Mobile Code Security |
149
click to vote
ACISP
2007
Springer
15 years 10 months ago
2007
Springer
This paper studies the interplay of network connectivity and perfectly secure message transmission under the corrupting influence of a Byzantine mobile adversary that may move from...
156
click to vote
IH
2010
Springer
15 years 3 months ago
2010
Springer
In this article, we propose a new construction of probabilistic collusion-secure fingerprint codes against up to three pirates and give a theoretical security evaluation. Our pira...
170
click to vote
PDCAT
2005
Springer
15 years 11 months ago
2005
Springer
In this paper security requirements and security architecture for 4G systems are presented with the consideration of Trusted Computing (TC) for mobile equipment (ME). The security...
163
click to vote
LFCS
2009
Springer
16 years 15 days ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
158
click to vote
TLCA
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...