skip to main content
Idioma:
Mostrar solo
Refinado por: materia: Computer Science, Theory & Methods eliminar
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
Material Type:
Libro 		Añadir a Mi Portal

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Aldini, Alessandro ; Barthe, Gilles ; Gorrieri, Roberto Aldini, Alessandro ; Gorrieri, Roberto ; Barthe, Gilles

Berlin, Heidelberg: Springer Berlin Heidelberg 2014

Sin texto completo

Citas Citado por
2
ESC/Java2: Uniting ESC/Java and JML: Progress and Issues in Building and Using ESC/Java2, Including a Case Study Involving the Use of the Tool to Verify Portions of an Internet Voting Tally System
ESC/Java2: Uniting ESC/Java and JML: Progress and Issues in Building and Using ESC/Java2, Including a Case Study Involving the Use of the Tool to Verify Portions of an Internet Voting Tally System
Material Type:
Acta de Congreso 		Añadir a Mi Portal

ESC/Java2: Uniting ESC/Java and JML: Progress and Issues in Building and Using ESC/Java2, Including a Case Study Involving the Use of the Tool to Verify Portions of an Internet Voting Tally System

Cok, David R. ; Kiniry, Joseph R. Barthe, Gilles ; Huisman, Marieke ; Lanet, Jean-Louis ; Muntean, Traian ; Burdy, Lilian

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 2005, p.108-128 [Revista revisada por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sin texto completo

Citas Citado por
3
Supporting the development and documentation of ISO 27001 information security management systems through security requirements engineering approaches
Supporting the development and documentation of ISO 27001 information security management systems through security requirements engineering approaches
Material Type:
Acta de Congreso 		Añadir a Mi Portal

Supporting the development and documentation of ISO 27001 information security management systems through security requirements engineering approaches

Beckers, Kristian ; Faßbender, Stephan ; Heisel, Maritta ; Küster, Jan-Christoph ; Schmidt, Holger Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin

Engineering Secure Software and Systems, 2012, p.14-21 [Revista revisada por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponible

Citas Citado por
4
Plagiarizing smartphone applications: attack strategies and defense techniques
Plagiarizing smartphone applications: attack strategies and defense techniques
Material Type:
Acta de Congreso 		Añadir a Mi Portal

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 [Revista revisada por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponible

Citas Citado por
5
Formalisation and implementation of the XACML access control mechanism
Formalisation and implementation of the XACML access control mechanism
Material Type:
Acta de Congreso 		Añadir a Mi Portal

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 [Revista revisada por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponible

Citas Citado por
6
Application-Replay attack on java cards: when the garbage collector gets confused
Application-Replay attack on java cards: when the garbage collector gets confused
Material Type:
Acta de Congreso 		Añadir a Mi Portal

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, Vol.7159, p.1-13 [Revista revisada por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponible

Citas Citado por
7
Runtime enforcement of information flow security in tree manipulating processes
Runtime enforcement of information flow security in tree manipulating processes
Material Type:
Acta de Congreso 		Añadir a Mi Portal

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 [Revista revisada por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponible

Citas Citado por
8
Typed assembler for a RISC crypto-processor
Typed assembler for a RISC crypto-processor
Material Type:
Acta de Congreso 		Añadir a Mi Portal

Typed assembler for a RISC crypto-processor

Breuer, Peter T. ; Bowen, Jonathan P. Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin ; Barthe, Gilles ; Scandariato, Riccardo ; Livshits, Benjamin

Engineering Secure Software and Systems, 2012, p.22-29 [Revista revisada por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponible

Citas Citado por
9
Hunting application-level logical errors
Hunting application-level logical errors
Material Type:
Acta de Congreso 		Añadir a Mi Portal

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 [Revista revisada por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponible

Citas Citado por
10
Challenges in implementing an end-to-end secure protocol for java ME-Based mobile data collection in low-budget settings
Challenges in implementing an end-to-end secure protocol for java ME-Based mobile data collection in low-budget settings
Material Type:
Acta de Congreso 		Añadir a Mi Portal

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 [Revista revisada por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponible

Citas Citado por

Personalizar los resultados

  1. Editar

Refine Search Results

Mostrar solo

  1. Recursos en línea (186)
  2. Revistas arbitradas (29)

Refinar mis resultados

Tipo de Recurso 

  1. Actas de Congreso  (198)
  2. Capítulos de libro  (2)
  3. Libros  (1)
  4. Más opciones open sub menu

Fecha de Publicación 

De Hasta
Refinar
  1. Antes de2004  (12)
  2. 2004Hasta2005  (152)
  3. 2006Hasta2007  (6)
  4. 2008Hasta2012  (29)
  5. Después de 2012  (4)
  6. Más opciones open sub menu

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora