1771 search results - page 150 / 355 » An Aspect-Oriented Security Framework |
185
click to vote
ESORICS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
196
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
The CASA architecture describes a platform for the provisioning of services by agents by supporting three levels of agent design. At the base level is a framework to build an agen...
217
click to vote
CSFW
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
173
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
The heterogeneity and dynamism of today’s software systems make it difficult to assess the performance, correctness, or security of a system outside the actual time and context ...
183
click to vote
KESAMSTA
2007
Springer
16 years 18 days ago
2007
Springer
In this paper, we suggested a mobile collaboration framework based on distributed object group framework (DOGF). This paper focuses on the use of this framework to support mobile c...