skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods: Foundations and Applications

David Hutchison Takeo Kanade; Josef Kittler; David Naumann

Springer Berlin Heidelberg 2012

Acesso online

2
Infrared and raman spectroscopy of biological materials
Infrared and raman spectroscopy of biological materials
Material Type:
Livro 		Adicionar ao Meu Espaço

Infrared and raman spectroscopy of biological materials

Hans-Ulrich Gremlich; Bing Yan

New York M. Dekker c2001

Localização: FFCLRP - Fac. Fil. Ciên. Let. de R. Preto    (543.42 I43 23841 ) e outros locais(Acessar)

3
From Coupling Relations to Mated Invariants for Checking Information Flow
From Coupling Relations to Mated Invariants for Checking Information Flow
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

From Coupling Relations to Mated Invariants for Checking Information Flow

Naumann, David A. Meier, Jan ; Gollmann, Dieter ; Sabelfeld, Andrei

Computer Security – ESORICS 2006, 2006, p.279-296 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
4
History-Based Access Control and Secure Information Flow
History-Based Access Control and Secure Information Flow
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

History-Based Access Control and Secure Information Flow

Banerjee, Anindya ; Naumann, David A. Barthe, Gilles ; Huisman, Marieke ; Lanet, Jean-Louis ; Muntean, Traian ; Burdy, Lilian

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 2005, p.27-48 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
5
Local Reasoning for Global Invariants, Part II: Dynamic Boundaries
Local Reasoning for Global Invariants, Part II: Dynamic Boundaries
Material Type:
Artigo 		Adicionar ao Meu Espaço

Local Reasoning for Global Invariants, Part II: Dynamic Boundaries

BANERJEE, Anindya ; NAUMANN, David A

Journal of the ACM, 2013-06, Vol.60 (3), p.1-73 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
6
A formal model of Checked C1
A formal model of Checked C1
Material Type:
Artigo 		Adicionar ao Meu Espaço

A formal model of Checked C1

Li, Liyi ; Liu, Yiyun ; Postol, Deena ; Lampropoulos, Leonidas ; Van Horn, David ; Hicks, Michael Naumann, David ; Calzavara, Stefano

Journal of computer security, 2023-10, Vol.31 (5), p.581-614 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
7
Universal optimality and robust utility bounds for metric differential privacy1
Universal optimality and robust utility bounds for metric differential privacy1
Material Type:
Artigo 		Adicionar ao Meu Espaço

Universal optimality and robust utility bounds for metric differential privacy1

Fernandes, Natasha ; McIver, Annabelle ; Palamidessi, Catuscia ; Ding, Ming Calzavara, Stefano ; Naumann, David

Journal of computer security, 2023-10, Vol.31 (5), p.539-580 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
8
Special issue: 35th IEEE Computer Security Symposium – CSF 2022
Special issue: 35th IEEE Computer Security Symposium – CSF 2022
Material Type:
Artigo 		Adicionar ao Meu Espaço

Special issue: 35th IEEE Computer Security Symposium – CSF 2022

Calzavara, Stefano ; Naumann, David Calzavara, Stefano ; Naumann, David

Journal of computer security, 2023-10, Vol.31 (5), p.419-420 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
9
How efficient are replay attacks against vote privacy? A formal quantitative analysis1
How efficient are replay attacks against vote privacy? A formal quantitative analysis1
Material Type:
Artigo 		Adicionar ao Meu Espaço

How efficient are replay attacks against vote privacy? A formal quantitative analysis1

Mestel, David ; Müller, Johannes ; Reisert, Pascal Calzavara, Stefano ; Naumann, David

Journal of computer security, 2023-10, Vol.31 (5), p.421-467 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
10
Machine-checked proofs of privacy against malicious boards for Selene & Co1
Machine-checked proofs of privacy against malicious boards for Selene & Co1
Material Type:
Artigo 		Adicionar ao Meu Espaço

Machine-checked proofs of privacy against malicious boards for Selene & Co1

Drăgan, Constantin Cătălin ; Dupressoir, François ; Estaji, Ehsan ; Gjøsteen, Kristian ; Haines, Thomas ; Ryan, Peter Y.A. ; Rønne, Peter B. ; Solberg, Morten Rotvold Naumann, David ; Calzavara, Stefano

Journal of computer security, 2023-10, Vol.31 (5), p.469-499 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (409)
  2. Book Chapters  (78)
  3. Anais de Congresso  (56)
  4. Livros  (23)
  5. Reports  (11)
  6. Conjunto de Dados  (9)
  7. Resenhas  (7)
  8. Dissertações  (4)
  9. Web Resources  (4)
  10. Imagens  (3)
  11. Videos  (1)
  12. Artigos de Jornal  (1)
  13. magazinearticle  (1)
  14. Verbetes  (1)
  15. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1983  (10)
  2. 1983Até1994  (16)
  3. 1995Até2003  (35)
  4. 2004Até2013  (195)
  5. Após 2013  (345)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (604)
  2. Japonês  (48)
  3. Alemão  (3)
  4. Norueguês  (2)
  5. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Naumann, D
  2. Hutchison, D
  3. Kittler, J
  4. Kanade, T
  5. GREMLICH, H

Neste Assunto:

  1. Science & Technology
  2. Life Sciences & Biomedicine
  3. Humans
  4. Technology
  5. Computer Science

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.