Dashti, M.T. (Muhammad Torabi)
Dashti, M.T.
VIAF ID: 289568936 ( Personal )
Permalink: http://viaf.org/viaf/289568936
Preferred Forms
- 100 1 _ ‡a Dashti, M.T.
-
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
An intruder model for verifying termination in security protocols | |
Keeping fairness alive : design and formal verification of optimistic fair exchange protocols | |
Nuovo DRM Paradiso: formal specification and verification of a DRM protocol | |
On the quest for impartiality : design and analysis of a fair non-repudiation protocol | |
Pruning state spaces with extended beam search |