|
|
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 13th International Conference, DIMVA 2016, San Sebastián, Spain, July 7-8, 2016, Proceedings / edited by Juan Caballero, Urko Zurutuza, Ricardo J. Rodríguez.
by Caballero, Juan [editor.] | Zurutuza, Urko [editor.] | Rodríguez, Ricardo J [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
Interactive Theorem Proving [electronic resource] : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings / edited by Gerwin Klein, Ruben Gamboa.
by Klein, Gerwin [editor.] | Gamboa, Ruben [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2015, Ho Chi Minh City, Vietnam, May 19, 2015. Proceedings / edited by Michael Chau, G. Alan Wang, Hsinchun Chen.
by Chau, Michael [editor.] | Wang, G. Alan [editor.] | Chen, Hsinchun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
Progress in Cryptology - AFRICACRYPT 2016 [electronic resource] : 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016, Proceedings / edited by David Pointcheval, Abderrahmane Nitaj, Tajjeeddine Rachidi.
by Pointcheval, David [editor.] | Nitaj, Abderrahmane [editor.] | Rachidi, Tajjeeddine [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
Trusted Systems [electronic resource] : 4th International Conference, INTRUST 2012, London, UK, December 17-18, 2012, Proceedings / edited by Chris J. Mitchell, Allan Tomlinson.
by Mitchell, Chris J [editor.] | Tomlinson, Allan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
Information Security and Cryptology [electronic resource] : 4th International Conference, Inscrypt 2008, Beijing, China, December 14-17, 2008, Revised Selected Papers / edited by Moti Yung, Peng Liu, Dongdai Lin.
by Yung, Moti [editor.] | Liu, Peng [editor.] | Lin, Dongdai [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
Post-Quantum Cryptography [electronic resource] : 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013, Proceedings / edited by Philippe Gaborit.
by Gaborit, Philippe [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
Network-Based Information Systems [electronic resource] : First International Conference, NBIS 2007, Regensburg, Germany, September 3-7, 2007, Proceedings / edited by Tomoya Enokido, Leonhard Barolli, Makoto Takizawa.
by Enokido, Tomoya [editor.] | Barolli, Leonhard [editor.] | Takizawa, Makoto [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
Constructive Side-Channel Analysis and Secure Design [electronic resource] : 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers / edited by Sylvain Guilley.
by Guilley, Sylvain [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
Internet of Vehicles - Safe and Intelligent Mobility [electronic resource] : Second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015, Proceedings / edited by Ching-Hsien Hsu, Xia Feng, Xingang Liu, Shangguang Wang.
by Hsu, Ching-Hsien [editor.] | Feng, Xia [editor.] | Liu, Xingang [editor.] | Wang, Shangguang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
Security and Trust Management [electronic resource] : 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014, Proceedings / edited by Sjouke Mauw, Christian Damsgaard Jensen.
by Mauw, Sjouke [editor.] | Damsgaard Jensen, Christian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
Network-Based Information Systems [electronic resource] : 2nd Internatonal Conference, NBiS 2008, Turin, Italy, September 1-5, 2008, Proceedings / edited by Makoto Takizawa, Leonard Barolli, Tomoya Enokido.
by Takizawa, Makoto [editor.] | Barolli, Leonard [editor.] | Enokido, Tomoya [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
Formal Aspects of Security and Trust [electronic resource] : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers / edited by Gilles Barthe, Anupam Datta, Sandro Etalle.
by Barthe, Gilles [editor.] | Datta, Anupam [editor.] | Etalle, Sandro [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
Web-Age Information Management [electronic resource] : 14th International Conference, WAIM 2013, Beidaihe, China, June 14-16, 2013. Proceedings / edited by Jianyong Wang, Hui Xiong, Yoshiharu Ishikawa, Jianliang Xu, Junfeng Zhou.
by Wang, Jianyong [editor.] | Xiong, Hui [editor.] | Ishikawa, Yoshiharu [editor.] | Xu, Jianliang [editor.] | Zhou, Junfeng [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
Transactions on Data Hiding and Multimedia Security IX [electronic resource] : Special Issue on Visual Cryptography / edited by Yun Q. Shi, Feng Liu, Weiqi Yan.
by Shi, Yun Q [editor.] | Liu, Feng [editor.] | Yan, Weiqi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
Information Security Applications [electronic resource] : 15th International Workshop, WISA 2014, Jeju Island, Korea, August 25-27, 2014. Revised Selected Papers / edited by Kyung-Hyune Rhee, Jeong Hyun Yi.
by Rhee, Kyung-Hyune [editor.] | Yi, Jeong Hyun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
Progress in Cryptology - AFRICACRYPT 2008 [electronic resource] : First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008, Proceedings / edited by Serge Vaudenay.
by Vaudenay, Serge [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
Runtime Verification [electronic resource] : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings / edited by Shuvendu Lahiri, Giles Reger.
by Lahiri, Shuvendu [editor.] | Reger, Giles [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
Decision and Game Theory for Security [electronic resource] : 5th International Conference, GameSec 2014, Los Angeles, CA, USA, November 6-7, 2014, Proceedings / edited by Radha Poovendran, Walid Saad.
by Poovendran, Radha [editor.] | Saad, Walid [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
Privacy in Statistical Databases [electronic resource] : UNESCO Chair in Data Privacy, International Conference, PSD 2012, Palermo, Italy, September 26-28, 2012, Proceedings / edited by Josep Domingo-Ferrer, Ilenia Tinnirello.
by Domingo-Ferrer, Josep [editor.] | Tinnirello, Ilenia [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|