2687 search results - page 453 / 538 » Formal Analysis of PKCS |
159
click to vote
RE
2005
Springer
16 years 8 days ago
2005
Springer
View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is im...
181
click to vote
DOCENG
2004
ACM
16 years 7 days ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
164
click to vote
MM
2004
ACM
16 years 6 days ago
2004
ACM
In this paper, we propose a Web image search result organizing method to facilitate user browsing. We formalize this problem as a salient image region pattern extraction problem. ...
209
click to vote
ASIACRYPT
2004
Springer
16 years 6 days ago
2004
Springer
We investigate efficient protocols for password-authenticated key exchange based on the RSA public-key cryptosystem. To date, most of the published protocols for password-authentic...
163
click to vote
ATAL
2004
Springer
16 years 6 days ago
2004
Springer
In a cooperative multi-agent system that is situated in an evolving environment, agents need to dynamically adjust their negotiation attitudes towards different agents in order to...