4581 search results - page 161 / 917 » Computing Transformation Semigroups |
187
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...
139
click to vote
ICMCS
2007
IEEE
16 years 22 days ago
2007
IEEE
In inter-picture coding, block-based frequency transform is usually carried out on the predicted errors for each interblock to remove the spatial correlation among them. However, ...
201
click to vote
ACNS
2007
Springer
16 years 18 days ago
2007
Springer
We present two transforms to acquire chosen ciphertext security from tag based techniques. The first one requires the separability of underlying primitives. By separability, info...
159
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
177
click to vote
SIGCOMM
2003
ACM
15 years 11 months ago
2003
ACM
Packet traces of operational Internet traffic are invaluable to network research, but public sharing of such traces is severely limited by the need to first remove all sensitive...