2794 search results - page 49 / 559 » A New Architecture for Automated Modelling |
ESOP
2005
Springer
15 years 4 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
NETWORKING
2004
15 years 16 days ago
2004
Firewalls are a well-established security mechanism to restrict the traffic exchanged between networks to a certain subset of users and applications. In order to cope with new appl...
ETS
2002
IEEE
14 years 11 months ago
2002
IEEE
Computer simulation is used extensively both as an educational tool and within industry. It can be employed as a means of developing a new process or system or as a means of exper...
BPM
2005
Springer
15 years 4 months ago
2005
Springer
With the new middleware IT technologies such as Web Services and peer-to-peer computing facilities, a Virtual Enterprise can be built easier achieving some problems of interoperabi...
117
click to vote
CSFW
2008
IEEE
15 years 29 days ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...