3624 search results - page 399 / 725 » Abstract Algebraic Logic |
184
click to vote
IH
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper draws together two methodologies for the detection of bit replacement steganography: the principle of maximum likelihood, which is statistically well-founded b...
145
click to vote
MKM
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
153
click to vote
PKC
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We propose multi-bit versions of several single-bit cryptosystems based on lattice problems, the error-free version of the Ajtai-Dwork cryptosystem by Goldreich, Goldwass...
171
click to vote
STACS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
188
click to vote
DDECS
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...