Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions.
Shaddin F. DoghmiJoshua D. GuttmanF. Javier ThayerPublished in: MFPS (2007)
Keyphrases
- shape analysis
- medial axis
- shape representation
- database transactions
- shape descriptors
- network protocols
- integrity constraints
- arbitrary dimension
- cryptographic protocols
- lightweight
- shape matching
- finite state automata
- security protocols
- distance transform
- shape space
- geometric shapes
- communication protocols
- arbitrary shape
- skeleton extraction
- application layer
- formal analysis
- computer vision
- distributed databases
- shape model
- three dimensional