On modelling security protocols for logic-based verification
Publisher:
Year
: 2014DOI: 10.1109/ICSENS.2014.6985049
Keyword(s): Brain modeling,Diseases,Electric potential,Electrodes,Electroencephalography,Mice,Electroencephalography (EEG),dry electrode,flexibility,non-invasiveness,sensory-evoked potential recording
Collections
:
-
Statistics
On modelling security protocols for logic-based verification
Show full item record
| contributor author | Dojen, R. , Jinyong Chen , Coffey, T. | |
| date accessioned | 2020-03-12T20:54:55Z | |
| date available | 2020-03-12T20:54:55Z | |
| date issued | 2014 | |
| identifier other | 6912734.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1030216 | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | On modelling security protocols for logic-based verification | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8155593 | |
| subject keywords | Brain modeling | |
| subject keywords | Diseases | |
| subject keywords | Electric potential | |
| subject keywords | Electrodes | |
| subject keywords | Electroencephalography | |
| subject keywords | Mice | |
| subject keywords | Electroencephalography (EEG) | |
| subject keywords | dry electrode | |
| subject keywords | flexibility | |
| subject keywords | non-invasiveness | |
| subject keywords | sensory-evoked potential recording | |
| identifier doi | 10.1109/ICSENS.2014.6985049 | |
| journal title | rish Signals & Systems Conference 2014 and 2014 China-Ireland International Conference on In | |
| filesize | 276773 | |
| citations | 0 |