TRABALHO FINAL DE CURSO - INESC-ID

MobileREVS 15-10-2006
acesso à KeyStore e à PrivateKey do servidor. Para ambas deverá introduzir
“REVSpass”.
A partir deste momento surgirão as opções de menu para o servidor em questão.
Note-se que na primeira utilização do servidor é necessário criar as tabelas na base de
dados, escolhendo a opção “C – Create database”. Depois resta apenas popular
as tabelas com os dados da eleição, existentes no ficheiro gerado pelo Comissário da
eleição, e iniciar o servidor. Para mais informações sobre este processo consulte
http://www.gsd.inesc-id.pt/~revs.
4. MobileREVS
Os passos que se seguem descrevem o processo de instalação e configuração
para os restantes componentes arquitecturais do MobileREVS. Numa primeira etapa
será descrita a configuração do Apache Tomcat. Posteriormente, será apresentado o
processo de instalação dos servlets e do Módulo Eleitor.
4.1. Configuração do Apache Tomcat
Depois de instalar o Apache Tomcat é necessário configurar a política de
segurança associada ao contentor de páginas web. A mesma deve ser definida no
ficheiro “java.policy” (pode encontrar um exemplo deste ficheiro na directoria
“\lib\security” do JRE) podendo ser ajustada às necessidades de cada um.
Para que o Apache Tomcat possa reconhecer internamente este ficheiro deverá
adicioná-lo à lista de opções Java já definidas:
-Djava.security.policy=\java.policy
Em deverá especificar o caminho para o ficheiro java.policy.
Caso o servidor Apache Tomcat já esteja a ser executado é necessário reiniciá-lo
para que as alterações surtam efeito.
Seguidamente, e caso pretenda usar comunicações via HTTPS, deverá
configurar o Apache Tomcat de modo a este as poder suportar. Para informações mais
detalhadas sobre este processo consulte a documentação disponível em
http://tomcat.apache.org.
4.2. Instalação dos servlets
Para instalar os servlets deverá, com o Apache Tomcat iniciado, abrir um
browser de acesso à Internet e aceder a http://localhost:8080/manager/html. O porto
8080 é o pré-definido durante a instalação do Apache Tomcat. Caso o tenha alterado
deve usar o porto escolhido por si. Os dados de acesso também são definidos durante o
processo de instalação. Contudo, caso não os tenha alterado, o utilizador é “admin” e a
palavra-passe é deixada em branco.
Depois de aceder à página de gestão do Apache Tomcat deverá instalar os
servlets através do upload do ficheiro REVS.war.
Luis Costa, Nuno Santos 76