3710 search results - page 269 / 742 » A new calculus of contexts |
182
Voted
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The paper presents a new steganographic method called LACK (Lost Audio PaCKets Steganography) which is intended mainly for VoIP. The method is presented in a broader context of net...
192
Voted
DCC
2010
IEEE
15 years 7 months ago
2010
IEEE
We provide a stronger definition of anonymity in the context of shared symmetric key primitives, and show that existing schemes do not provide this level of anonymity. A new schem...
172
Voted
ENTCS
2008
15 years 7 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...
163
Voted
ENTCS
2008
15 years 7 months ago
2008
This paper combines two successful techniques from software engineering, aspect-oriented programming and design-by-contract, and applies them in the context of reactive systems. F...
208
click to vote
COMBINATORICS
2006
15 years 7 months ago
2006
This note deals with a formula due to G. Labelle for the summed cycle indices of all rooted trees, which resembles the well-known formula for the cycle index of the symmetric grou...