361 search results - page 26 / 73 » Composition of Password-Based Protocols |
CARDIS
2010
Springer
14 years 3 months ago
2010
Springer
![The Polynomial Composition Problem in (Z/nZ)[X]](https://www.sciweavers.org/files/imagecache/thumbnail/default/content.jpg "The Polynomial Composition Problem in (Z/nZ)[X]")
Let n be an RSA modulus and let P, Q ∈ (Z/nZ)[X]. This paper explores the following problem: Given polynomials Q and Q(P), find polynomial P. We shed light on the connections be...
PERCOM
2006
ACM
14 years 8 months ago
2006
ACM
Dynamically creating new, composite services "on the fly" using existing ones in a local interaction environment (e.g. a home, meeting room, airport lounge, etc.) presen...
SOCO
2005
Springer
14 years 2 months ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
APN
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
CSFW
1998
IEEE
14 years 28 days ago
1998
IEEE
In security protocol analysis, it is important to learn general principles that limit the abilities of an attacker, and that can be applied repeatedly to a variety of protocols. W...