-------------------------------
	Install
-------------------------------

To install the DepSpace system, follow this instructions:

1. Unzip the package Depspace.tar in some directory (called "DepSpaceDir");

2. Set the system properties in the files found into the directory "DepSpaceDir/config";

2.1 Configurations of the file "hosts.config"

In this file we found the configurations about the hosts that servers runs.
We should inform the identificador of the server (id), the name and port of 
the host, where the server will run (id, host, port).
Each server should be specified in a separate line.


2.2 Configurations of the file "system.config"

This file define several properties related with the system.  These properties are
divided in three sets:

a) Communication Configurations: it define the following properties related with the
communication.

#Authenticate the channels (is to authenticate the channels?)
system.authentication = true

#Diffie-Hellmam key exchange parameters (parameters for key exchange. 
#If not seted, the default values will be used)
#system.authentication.P =
#system.authentication.G =

#Auto connect with all hosts with id lower than the supplied id
system.autoconnect = 4


b) Total Order Multicast Configurations: it define the following properties related
with the total order multicast protocol.


#Number of servers in the group (the number of servers "n" must be more than "3f",
#to suport "f" bizantine faults).
system.servers.num = 4

#Paxos Configurations

#timeout to freeze a round
system.paxos.freeze.timeout = 500

#High mark, for safety margin
system.paxos.highMarc = 10

#Period between executions of the paxos algorithm (to batch executions)
system.totalordermulticast.period = 3

c) DepSpace Configurations ou Confidentiality Configurations: it define the
properties related with the confidentiality scheme. The PVSS parameters, the servers public keys and
the servers private keys are defined. These parameters can be generated automatically through the class br.ufsc.das.util.ConfidentialityParametersGenerator, where the number of servers "n" should be informed.



2.3 Configurations about RSA keys

The servers keys are stored in the directory "DepSpaceDir/config/keys". 
Each server access all public keys and his private key. These keys can ge generated
automatically through the class br.ufsc.das.util.RSAkeyPairGenerator, where the server id (related with
the key pair that will be generated) should be supplied.


3. The instalation of DepSpace is ready!!!