|
|
|
Estratégia de cibersegurança [Documento eletrónico] / Nelson Correia Faria ; orient. José Carlos Bacelar Almeida
Produtos Computador
Publication
[Braga : s.n.], 2022
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Ferramentas de verificação formal de protocolos criptográficos [Documento eletrónico] / Prada, Inês Isabel Russo ; orient. José Carlos Bacelar Almeida
Monografia
Publication
[Braga : s.n.], 2011
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Public keys quality / Ana Catarina Pereira Correia ; orient. José Pedro Miranda Mourão Patrício, José Carlos Bacelar Almeida
Monografia
Publication
[Braga : s.n.], 2015
Description
XIV, 129 p. :
il. ;
30 cm
Online resource
Acesso restrito à U.M. (3 anos)
LocationBiblioteca Geral da Universidade do Minho
Availability
Reference (1).
|
|
|
|
Finite probability distributions in Coq [Documento eletrónico] / Diogo Araújo Carvalho Vilaça Moreira ; orient. José Carlos BacelarAlmeida
Monografia
Publication
[Braga : s.n.], 2012
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Linguagens de domínio específico para software criptográfico [Documento eletrónico] / Luís Paulo Ferreira Miranda ; orient. José Carlos Bacelar Almeida
Monografia
Publication
Braga : [s.n.], 2012
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Gestão de segurança de informação para sistemas de Confiança Seguros [Documento eletrónico] / Joana Fernandes Cunha ; orient. José Carlos Bacelar Almeida
Produtos Computador
Publication
[Braga : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Icarus, a cloud security perspective [Documento eletrónico] / João Aloísio Sousa Araújo ; orient. José Carlos Bacelar Ferreira Junqueira de Almeida
Produtos Computador
Publication
[Braga : s.n.], 2022
Online resource
Acesso aberto
Availability
No copies available
|
|
|
|
Computação segura sobre sistemas de dados em ambientes cloud [Documento eletrónico] / João Carlos Carvalho Ferreira ; orient. Jose Bacelar Almeida, Manuel Bernardo Barbosa
Monografia
Publication
[Braga : s.n.], 2017
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Análise de segurança para soluções de software para a cloud [Documento eletrónico] = [Security analysis for cloud software solutions] / João Diogo Pereira da Rocha ; orient. José Carlos Bacelar Almeida, Manuel Bernardo Martins Barbosa
Monografia
Publication
[Braga : s.n.], 2017
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Automated and intelligent hacking detection system [Documento eletrónico] / Bruno Alves Martins Carvalho ; orient. José Bacelar Almeida, Luís Sobral Silva
Produtos Computador
Publication
[Braga : s.n.], 2022
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Secure multiparty computation protocols [Documento eletrónico] / Daniel Casanova Faria Torres ; orient. José Carlos Bacelar Almeida
Monografia
Publication
[Braga : s.n.], 2014
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Implementação certificada da componente criptográfica do gestor de passwords KeePass [Documento eletrónico] / Pedro Miguel Marques Freitas ; orient. José Carlos Bacelar Almeida
Produtos Computador
Publication
[Braga : s.n.], 2022
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Reforço da privacidade através do controlo da pegada digital [Documento electrónico] / Ricardo Joaquim Pereira de Macedo ; orient. José Carlos Bacelar
Monografia
Publication
Braga : [s.n.], 2013
Online resource
Acesso livre
Availability
No copies available
|
