Record Beta

International Workshop on Formal Aspects in Security and Trust

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

rdf:type	portal:Conference
schema:location	Hamilton (wd:Q133116)
rdfs:label	International Workshop on Formal Aspects in Security and Trust
portal:acronym	FAST
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Hamilton, ON
portal:country	Canada
portal:endDate	2006-08-27
portal:keyword	Applied process calculi
portal:keyword	Component
portal:keyword	Computational Soundness of Formal Methods
portal:keyword	Dynamic response
portal:keyword	Financial impact
portal:keyword	Formal modelling
portal:keyword	Formal specification
portal:keyword	Game Theory
portal:keyword	Impact assessment
portal:keyword	Operational impact
portal:keyword	Pareto-efficiency
portal:keyword	Probabilistic Encryption
portal:keyword	Provable security
portal:keyword	Security Games
portal:keyword	Security
portal:keyword	model-based specification and verification
portal:keyword	risk analysis
portal:keyword	timed cryptographic protocols
portal:name	International Workshop on Formal Aspects in Security and Trust
portal:portalPage	http://portal.confref.org/list/fast2006
portal:series	https://id.confref.org/data/confref-portal/series/fast
portal:startDate	2006-08-26
portal:submissionExtended	false
portal:year	2006
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)

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