IEEEARES
2007
IEEE
13 years 11 months ago
2007
IEEE
—In this paper, we formulate and realize a definition of security for three-party key distribution within the universally composable (UC) framework. That is, an appropriate ideal...
IEEEARES
2007
IEEE
13 years 11 months ago
2007
IEEE
In a software system, it is inevitable that components will occasionally fail to produce acceptable results and become unavailable to serve its clients. Replication is the techniq...
IEEEARES
2007
IEEE
13 years 11 months ago
2007
IEEE
Passive replication has been extensively studied in the literature. However, there is no comprehensive study yet with regard to its degree of communication synchrony. Therefore, w...
IEEEARES
2007
IEEE
13 years 11 months ago
2007
IEEE
IEEEARES
2007
IEEE
13 years 11 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
IEEEARES
2007
IEEE
13 years 11 months ago
2007
IEEE
In [7] we have proposed a model for the robust and private evaluation of a function within a group of cooperating mobile agents, called an agent Alliance. The model has been given...
IEEEARES
2007
IEEE
2007
IEEE
Using Privacy Process Patterns for Incorporating Privacy Requirements into the System Design Process
13 years 11 months ago
In the online world every person has to hold a number of different data sets so as to be able to have access to various e-services and take part in specific economical and social ...
IEEEARES
2007
IEEE
13 years 11 months ago
2007
IEEE
The most important part of a firewall configuration process is the implementation of a security policy by a security administrator. However, this security policy is not designed b...
IEEEARES
2007
IEEE
13 years 11 months ago
2007
IEEE
Voter anonymity, also known as unlinkability, is the primary requirement to satisfy privacy in e-voting protocols. Up until now, e-voting protocols have tried to make communicatio...
IEEEARES
2007
IEEE
13 years 11 months ago
2007
IEEE
The importance of critical systems has been widely recognized and several efforts are devoted to integrate dependability requirements in their development process. Such efforts re...