skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Supporting component presence notifications in software development
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Supporting component presence notifications in software development

Palacio, Ramon R. ; Padilla, German ; Moran, Alberto L. ; Cortez, Joaquin ; Vizcaino, Aurora

Proceedings of the 2013 IEEE 17th International Conference on Computer Supported Cooperative Work in Design (CSCWD), 2013, p.235-240

IEEE

Texto completo disponível

2
An environment to support the discovery of potential partners in a research group
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

An environment to support the discovery of potential partners in a research group

Alves, Tatiana P. V. ; Borges, Marcos R. S. ; Vivacqua, Adriana S.

Proceedings of the 2013 IEEE 17th International Conference on Computer Supported Cooperative Work in Design (CSCWD), 2013, p.344-349

IEEE

Texto completo disponível

3
Formalisation and implementation of the XACML access control mechanism
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Formalisation and implementation of the XACML access control mechanism

Masi, Massimiliano ; Pugliese, Rosario ; Tiezzi, Francesco Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin

Engineering Secure Software and Systems, 2012, p.60-74 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

4
Application-Replay attack on java cards: when the garbage collector gets confused
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Application-Replay attack on java cards: when the garbage collector gets confused

Barbu, Guillaume ; Hoogvorst, Philippe ; Duc, Guillaume Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin

Engineering Secure Software and Systems, 2012, p.1-13 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

5
Plagiarizing smartphone applications: attack strategies and defense techniques
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Plagiarizing smartphone applications: attack strategies and defense techniques

Potharaju, Rahul ; Newell, Andrew ; Nita-Rotaru, Cristina ; Zhang, Xiangyu Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin

Engineering Secure Software and Systems, 2012, p.106-120 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

6
Hunting application-level logical errors
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Hunting application-level logical errors

Stergiopoulos, George ; Tsoumas, Bill ; Gritzalis, Dimitris Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin

Engineering Secure Software and Systems, 2012, p.135-142 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

7
Optimal trust mining and computing on keyed mapreduce
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Optimal trust mining and computing on keyed mapreduce

Zhu, Huafei Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin

Engineering Secure Software and Systems, 2012, p.143-150 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

8
Runtime enforcement of information flow security in tree manipulating processes
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Runtime enforcement of information flow security in tree manipulating processes

Kov$#225;cs, M$#225;té ; Seidl, Helmut Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin

Engineering Secure Software and Systems, 2012, p.46-59 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

9
A sound decision procedure for the compositionality of secrecy
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

A sound decision procedure for the compositionality of secrecy

Ochoa, Martín ; Jürjens, Jan ; Warzecha, Daniel Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin

Engineering Secure Software and Systems, 2012, p.97-105 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

10
Challenges in implementing an end-to-end secure protocol for java ME-Based mobile data collection in low-budget settings
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Challenges in implementing an end-to-end secure protocol for java ME-Based mobile data collection in low-budget settings

Gejibo, Samson ; Mancini, Federico ; Mughal, Khalid A. ; Valvik, Remi ; Klungsøyr, Jørn Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin

Engineering Secure Software and Systems, 2012, p.38-45 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (15)

Buscando em bases de dados remotas. Favor aguardar.