|
|
Segurança da informação : técnicas e soluções / Wilson Oliveira
Monografia
Publication
Vila Nova de Famalicão : Centro Atlântico, 2001
Description
219 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Hardening network infrastructure : [bulletproof your systems before you are hacked!] / Wesley J. Noonan
Monografia
Publication
New York : McGraw-Hill, Osborne, cop. 2004
Description
XXI, 552 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Verificação de software criptográfico de elevado desempenho [Documento eletrónico] / Tiago Filipe Azevedo Oliveira ; orient. Manuel Bernardo Barbosa
Monografia
Publication
Braga : [s.n.], 2012
Online resource
Acesso livre
Availability
No copies available
|
|
|
Cache-based timing side-channels in partitioning hypervisors [Documento eletrónico] / João Pedro Antunes Gomes da Silva Reis ; orient. Sandro Pinto
Produtos Computador
Publication
[Guimarães : s.n.], 2019
Online resource
Acesso livre
Availability
No copies available
|
|
|
Safety-critical applications in a multicore environment [Documento eletrónico] / Emanuel José Rodrigues da Silva ; orient. Jorge Cabral
Produtos Computador
Publication
[Guimarães : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|
|
|
Processamento analítico seguro [Documento eletrónico] / Daniel Carvalho da Cruz ; orient. Joao Tiago Medeiros Paulo, Rui Carlos Mendes Oliveira
Monografia
Publication
[Guimarães : s.n.], 2018
Online resource
Acesso restrito à U.M. (1 ano)
Availability
No copies available
|
|
|
Know your enemy : revealing the security tools, tactics, and motives of the blackhat community / [ed.] The Honeynet Project
Produtos Computador
Publication
Boston : Addison-Wesley, cop. 2002
Description
XVII, 328 p. ;
24 cm +
1 CD-ROM
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (4).
|
|
|
Towards an efficient lattice basis reduction implementation [Documento eletrónico] = [Implementação eficiente de algoritmos para a redução de bases de reticulados] / Helder José Alves Gonçalves ; orient. Alberto José Proença, Artur Miguel Matos Mariano
Monografia
Publication
[Braga : s.n.], 2016
Online resource
Acesso livre
Availability
No copies available
|
|
|
Navegação segura [Documento eletrónico] : análise do uso de HTTPS na perspectiva do utilizador final / Carlos Eduardo Ribeiro Machado ; orient. Solange Rito Lima e Paulo Martins Carvalho
Produtos Computador
Publication
[Braga : s.n.], 2020
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
|
|
|
Information systems security governance evaluation in the Portuguese Local Public Administration [Documento eletrónico] = [Avaliação da governação da segurança de sistemas de informação na Administração Pública Local Portuguesa] / Melise Ribeiro Cavallare ; orient. Filipe de Sá-Soares, Delfina Soares
Produtos Computador
Publication
[Guimarães : s.n.], 2020
Online resource
Acesso livre
Availability
No copies available
|
|
|
A framework for digital model checking [Documento eletrónico] / Ahmed Kamal ; orient. José Granja, Bruno Figueiredo, Ricardo de Matos Camarinha
Produtos Computador
Publication
[Guimarães : s.n.], 2020
Online resource
Acesso livre
Availability
No copies available
|
|
|
Foundations of secure computation / ed. Richard A. De Millo... [et al.]
Monografia
Publication
New York : Academic Press, 1978
Description
X, 404 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Verification, model checking, and abstract interpretation : proceedings / 5th International Conference, VMCAI 2004 ; ed. Bernhard Steffen, Giorgio Levi
Monografia
Publication
Berlin : Springer, cop. 2004
Description
XI, 324 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Security in wireless LANs and MANs / Thomas Hardjono, Lakshminath R. Dondeti
Monografia
Publication
Boston : Artech House, cop. 2005
Description
XVIII, 243 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Marca do Dia Electrónica em Smartphones [Documento eletrónico] : implementação de um serviço para envio de correio electrónico com marcas temporais / Ricardo Jorge Gomes Maia de Sousa ; orient.
Monografia
Publication
[Braga : s.n.], 2012
Online resource
Acesso livre
Availability
No copies available
|
|
|
Modelling and verification of secure exams / Rosario Giustolisi
Monografia
Publication
Cham : Springer, cop. 2018
Description
XI, 138 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
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
|
|
|
Building secure software : how to avoid security problems the right way / John Viega, Gary McGraw
Monografia
Publication
Boston : Addison-Wesley, cop. 2002
Description
XXX, 493 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Sistemas de armazenamento configuráveis e seguros [Documento eletrónico] / Tânia da Conceição Araújo Esteves ; orient. João Tiago Medeiros Paulo, José Orlando Pereira
Produtos Computador
Publication
[Guimarães : s.n.], 2018
Online resource
Acesso livre
Availability
No copies available
|