Sign in

Smart contracts: security patterns in the ethereum ecosystem and solidity.

Maximilian WöhrerUwe Zdun
Published in: IWBOSE@SANER (2018)
Keyphrases
  • security patterns
  • formal model
  • security requirements
  • supply chain
  • early stage
  • requirements engineering
  • security properties
  • data mining
  • data model
  • dynamic environments
  • software systems
  • security analysis