1286 search results - page 51 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
123
click to vote
EWSA
2005
Springer
15 years 8 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...
135
click to vote
CSFW
2008
IEEE
15 years 9 months ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
121
Voted
GCC
2003
Springer
15 years 8 months ago
2003
Springer
An instance-oriented security mechanism is proposed to deal with security threats in building a general-purpose mobile agent middleware in Grid environment. The proposed solution i...
136
Voted
ER
1998
Springer
15 years 7 months ago
1998
Springer
The practical implementation and use of a mediator for fixed income securities analysis demonstrated the potential for extending the application of conceptual modeling from the sys...
130
Voted
GAMESEC
2010
15 years 1 months ago
2010
Abstract. Even the most well-motivated models of information security have application limitations due to the inherent uncertainties involving risk. This paper exemplifies a formal...