50 search results - page 7 / 10 » Expressing Security Properties Using Selective Interleaving ... |
CSL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
EWSA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
117
click to vote
MIDDLEWARE
2007
Springer
15 years 3 months ago
2007
Springer
With the growing number of service advertisements in service marketplaces, there is a need for matchmakers which select and rank functionally similar services based on nonfunction...
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Linear Discriminant Analysis (LDA) is one of the wellknown methods for supervised dimensionality reduction. Over the years, many LDA-based algorithms have been developed to cope w...
105
click to vote
SP
2005
IEEE
15 years 3 months ago
2005
IEEE
The low-cost, off-the-shelf hardware components in unshielded sensor-network nodes leave them vulnerable to compromise. With little effort, an adversary may capture nodes, analyze...