Automated reasoning for security protocol analysis and issues in the theory of security : joint workshop, ARSPA-WITS 2010, Paphos, Cyprus, march 27-28, 2010. Revised selected papers /

Código QR

Automated reasoning for security protocol analysis and issues in the theory of security : joint workshop, ARSPA-WITS 2010, Paphos, Cyprus, march 27-28, 2010. Revised selected papers /

Detalles Bibliográficos
Formato:	Libro
Publicado:	c2010.
Acceso en línea:	Ver documento en línea

Ejemplares similares

Security Protocols XXV : 25th International Workshop, Cambridge, UK, March 20-22, 2017, Revised Selected Papers /
Publicado: (2017)

Automated security management /
Publicado: (2013)

Security Protocols XXIV : 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers /
Publicado: (2017)

Automated reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, july 16-19, 2010. Proceedings /
Publicado: (2010)

Data security and security data : 27th British National Conference on Databases, BNCOD 27, Dundee, UK, June 29 - July 1, 2010. Revised selected papers /
Publicado: (2012)

Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, june 27 - July 2, 2016, proceedings /
Publicado: (2016)

The security needs assessment protocol: improving operational effectiveness through community security /
por: Miller, Derek B., et al.
Publicado: (2008)

Automated reasoning : introduction and applications /
por: Wos, Larry
Publicado: (1984)

Brazil, critical issues in social security /
Publicado: (2001)

Universal food security issues for the south
Publicado: (1997)

Current issues in social security : pensions, poverty and health /
por: Theodore, Karl, et al.
Publicado: (2000)

Critical information infrastructures security : 5th International Workshop, CRITIS 2010, Athens, Greece, September 2010, Revised Papers /
Publicado: (2011)

Automated reasoning : 10th international joint conference, IJCAR 2020, Paris, France, july 1-4, 2020, proceedings /
Publicado: (2020)

Automated reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, august 12-15, 2008 proceedings /
Publicado: (2008)

Automated reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /
Publicado: (2012)

Constructive side-channel analysis and secure design : 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papers /
Publicado: (2013)

Computer security : ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26-27, 2019, Revised Selected Papers /
Publicado: (2020)

Security Issues for the Internet and the World Wide Web /
por: Cameron, Debra
Publicado: (1997)

Efficient secure two-party protocols : techniques and constructions /
Publicado: (2010)

Computer security : ESORICS 2019 International Workshops, CyberICPS, SECPRE, SPOSE, and ADIoT, Luxembourg City, Luxembourg, September 26-27, 2019 Revised Selected Papers /
Publicado: (2020)

Information Security Applications : 17th International Workshop, WISA 2016, Jeju Island, Korea, August 25-27, 2016, Revised Selected Papers /
Publicado: (2017)

Engineering secure two-party computation protocols : design, optimization, and applications of efficient secure function evaluation /
Publicado: (2012)

Computing science, communication and security : First International Conference, COMS2 2020, Gujarat, India, March 26-27, 2020, Revised Selected Papers /
Publicado: (2020)

Cyber security : analytics, technology and automation /
Publicado: (2015)

Critical information infrastructures security : 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised Selected Papers /
Publicado: (2016)

Automated reasoning : 7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, july 19-22, 2014. Proceedings /
Publicado: (2014)

Data privacy management and autonomous spontaneous security : 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP, Athens, Greece, September 23, 2010. Revised selected papers /
Publicado: (2011)

Automated reasoning : 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, july 14-17, 2018, proceedings /
Publicado: (2018)

Enterprise security : Second International Workshop, ES 2015 Vancouver, BC, Canada, November 30- December 3, 2015 Revised Selected Papers /

Enterprise Security : Second International Workshop, ES 2015, Vancouver, BC, Canada, November 30 - December 3, 2015, Revised Selected Papers /
Publicado: (2017)

Advances in information and computer security : 5th International Workshop on Security, IWSEC 2010 Kobe, Japan, November 22-24, 2010 Proceedings.

Security analysis : principles and technique /
por: Graham, Benjamín, et al.
Publicado: (1940)

Applied cryptology, cryptographic protocols, and computer security models
Publicado: (1983)

Automated reasoning and mathematics : essays in memory of William W. McCune /
Publicado: (2013)

Desertification in the Mediterranean Region. A Security Issue : Proceedings of the NATO Mediterranean Dialogue Workshop, held in Valencia, Spain, 2-5 December 2003 /
Publicado: (2006)

Automated reasoning for systems biology and medicine /
Publicado: (2019)

Cyber security and privacy : 4th Cyber Security and Privacy Innovation Forum, CSP Innovation Forum 2015 Brussels, Belgium, April 28-29, 2015 Revised Selected Papers /
Publicado: (2015)

Computer security : ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14-18, 2020, Revised Selected Papers /
Publicado: (2020)

Decision and game theory for security : First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010. Proceedings /
Publicado: (2010)

Constructive Side-Channel Analysis and Secure Design : 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers /
Publicado: (2017)