Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Record Beta

Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

https://id.confref.org/data/confref-portal/event/tosca2010

This record is part of the confref event Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security.

rdf:typeportal:Conference
schema:locationPaphos (wd:Q180918)
rdfs:labelJoint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
portal:acronymARSPA-WITS
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:cityPaphos
portal:countryCyprus
portal:endDate2010-03-28
portal:keywordAutomated reasoning
portal:keywordElectronic voting protocols
portal:keywordHardware Security Modules
portal:keywordInsider threat
portal:keywordLanguage-based Security
portal:keywordPIN processing
portal:keywordProVerif
portal:keywordSecurity APIs
portal:keywordSecurity Type System
portal:keywordUpgrade strategies
portal:keywordapplied pi calculus
portal:keywordelection verifiability
portal:keywordhash functions
portal:keywordinformation flow
portal:keywordphysical security
portal:keywordsecurity awareness
portal:keywordsecurity model
portal:nameJoint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
portal:portalPagehttp://portal.confref.org/list/tosca2010
portal:serieshttps://id.confref.org/data/confref-portal/series/tosca
portal:startDate2010-03-27
portal:submissionExtendedfalse
portal:year2010
cr:disciplinecomputer science (wd:Q21198)
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)

Data: Turtle · JSON-LD · N-Triples · RDF/XML

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.