Sign in

A Formal Model for Startups Financial Transactions.

Rodrigo StevauxAna C. V. de Melo
Published in: SBMF (2023)
Keyphrases
  • formal model
  • formal models
  • predicate calculus
  • security properties
  • security patterns
  • low cost
  • lightweight
  • knowledge representation
  • distributed systems