5475 search results - page 707 / 1095 » Model Driven Security |
190
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
In this work, we investigate the security of anonymous wireless sensor networks. To lay down the foundations of a formal framework, we propose a new model for analyzing and evalua...
182
click to vote
TYPES
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
165
click to vote
OOPSLA
2007
Springer
16 years 25 days ago
2007
Springer
There have been various proposals for the formalization of appropriate viewpoint-based frameworks. The model that we intend to devise attempts to provide a basis for conceptual mo...
169
click to vote
ESTIMEDIA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract—Few analytical performance models that relate performance figure of merit to architectural design decisions are reported in recent studies of network-on-chip, which pre...
167
click to vote
HPDC
1996
IEEE
15 years 11 months ago
1996
IEEE
This document describes the core Legion object model. The model specifies the composition and functionality of Legion's core objects--those objects that cooperate to create, ...