|
|
Rigorous software development : an introduction to program verification / José Bacelar Almeida... [et al.]
Monografia
Publication
London : Springer, cop. 2011
Description
XII, 263 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (3).
|
|
|
Curriculum vitae / José Carlos Bacelar Ferreira Junqueira de Almeida
Monografia
Publication
Braga : J.C.B.F.J.A., 1993
Description
2 p. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Componente estrutural do sistema O / José Carlos Bacelar Almeida
Monografia
Publication
Braga : Escola de Engenharia - Universidade do Minho, 1993
Description
V, 85 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (2).
|
|
|
Uma abordagem à verificação automática de protocolos criptográficos / José Carlos Bacelar Almeida
Monografia
Publication
Braga : Universidade do Minho, 2002
Description
XII, 136 p. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Remote electronic voting [Documento electrónico] : studying and improving Helios / Pedro Vasconcelos Castro Lopes Faria ; orient. José Carlos Bacelar Almeida
Monografia
Publication
[Braga : s.n.], 2013
Online resource
Acesso livre
Availability
No copies available
|
|
|
O impacto da computação quântica na criptografia moderna [Documento eletrónico] / Fernando Guilherme Gonçalves Pequeno de Oliveira e Silva ; orient. José Carlos Bacelar Almeida, José Bernando Barros
Monografia
Publication
[Braga : s.n.], 2013
Online resource
Acesso livre
Availability
No copies available
|
|
|
Geração de descrições de computação para a cloud [Documento eletrónico] / Luís Henrique Martins ; orient. José Bacelar Almeida, Manuel Bernardo Barbosa
Produtos Computador
Publication
[Braga : s.n.], 2017
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
|
|
|
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
|
|
|
TrustZone based attestation in secure runtime verification for embedded systems [Documento eletrónico] / Miguel Miranda Quaresma ; orient. José Carlos Bacelar Almeida
Monografia
Publication
[Braga : s.n.], 2020
Online resource
Acesso livre
Availability
No copies available
|
|
|
PAdES server signer [Documento eletrónico] / Francisco Fernando Vilela Araújo ; orient. José Carlos Bacelar Almeida
Produtos Computador
Publication
[Braga : s.n.], 2022
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
|
|
|
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
|
|
|
A máquina abstracta categorial / Xavier Gomes Pinho ; orient. José Carlos Espírito Santo, José Carlos Bacelar Almeida
Monografia
Publication
Braga : [s.n.], 2014
Description
X, 145 p. ;
30 cm
Online resource
Versão eletrónica. Acesso livre
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
eIDAS qualified trust services [Documento eletrónico] : serviço de preservação / João Manuel da Silva Gomes Fernandes ; orient. José Carlos Bacelar Almeida
Produtos Computador
Publication
[Braga : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|
|
|
Desmaterialização de documentos de identificação [Documento eletrónico] / Matias Nicolau Araújo ; orient. José Bacelar Almeida
Produtos Computador
Publication
[Braga : s.n.], 2019
Online resource
Acesso livre
Availability
No copies available
|
|
|
Cloud computing and GDPR [Documento eletrónico] : legal and technical implications of the new regulation on SaaS in the Portuguese context / Catarina Amaral da Costa Brás da Cunha ; orient. Francisco Andrade, José Bacelar Almeida
Produtos Computador
Publication
[Braga : s.n.], 2019
Online resource
Acesso livre
Availability
No copies available
|
|
|
Self-sovereign identity decentralized identifiers, claims and credentials using non decentralized ledger technology [Documento eletrónico] / Bruno Miguel Gomes Fernandes ; orient. José Bacelar Almeida
Produtos Computador
Publication
[Braga : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|
|
|
Dos testemunhos de conexão no quadro legislativo europeu da proteção de dados [Documento eletrónico] : em particular do consentimento para a sua utilização = [Cookies in the european data protection framework specially the consent for their use] / Emília da Conceição Golim Fontaínhas ; orient. Francisco Carneiro Pacheco Andrade, José Bacelar Almeida
Monografia
Publication
Braga : [s.n.], 2013
Online resource
Acesso livre
Availability
No copies available
|
|
|
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
|