Sciweavers

8009 search results - page 197 / 1602
» cans 2005
Sort
View
PKC
2005
Springer
192views Cryptology» more  PKC 2005»
15 years 12 months ago
Securing RSA-KEM via the AES
RSA-KEM is a popular key encapsulation mechanism that combines the RSA trapdoor permutation with a key derivation function (KDF). Often the details of the KDF are viewed as orthogo...
Jakob Jonsson, Matthew J. B. Robshaw
SPC
2005
Springer
15 years 12 months ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...
UML
2005
Springer
15 years 12 months ago
Addressing Domain Evolution Challenges in Software Product Lines
It is hard to develop and evolve software product-line architectures (PLAs) for large-scale distributed real-time and embedded (DRE) systems. Although certain challenges of PLAs ca...
Gan Deng, Gunther Lenz, Douglas C. Schmidt
WINE
2005
Springer
149views Economy» more  WINE 2005»
15 years 12 months ago
Enforcing Truthful Strategies in Incentive Compatible Reputation Mechanisms
Abstract. We commonly use the experience of others when taking decisions. Reputation mechanisms aggregate in a formal way the feedback collected from peers and compute the reputati...
Radu Jurca, Boi Faltings
FQAS
2006
Springer
99views Database» more  FQAS 2006»
15 years 10 months ago
Using Structural Relationships for Focused XML Retrieval
In focused XML retrieval, information retrieval systems have to find out which are the most appropriate retrieval units and return only these to the user, avoiding overlapping elem...
Georgina Ramírez, Thijs Westerveld, Arjen P...