Loading...
Search for:
seifollahpour--najmeh
0.03 seconds
Total 2 records
List View
Gallery View
| # | Type | Title | Author | Publisher | Pub. Year | Subjects | Call Number |
|---|---|---|---|---|---|---|---|
| 1 | پایان نامه | توصیف و تحلیل پروتکل های امنیت با استفاده از قاب ترکیب جهانی Description and Analysis of Security Protocol by Universal Composability Framework | سیف اله پور، نجمه Seifollahpour, Najmeh | صنعتی شریف | 1393 | روش های صوری Formal Methods / امنیت Security / چارچوب ترکیب سراسری Universal Composability Framework / تقلید Emulation / قابلیت ایده آل Ideal Functionality / کلید در حال تحول Key-Evolving / امنیت EU-CMA EU-CMA Security |
02-47058
|
| 2 | پایان نامه | تحلیل صوری خصوصیات امنیتی پروتکل های امنیتی با رویکرد اثبات قضیه Formal Analysis of Security Protocols using Theorem Proving | میر امیرخانی، نجمه السادات Miramirkhani, Najmeh Sadat | صنعتی شریف | 1389 | تحلیل صوری Formal Analysis / رای گیری الکترونیکی Electronic Voting / اثبات قضیه Theorem Proving / قراردادهای امنیتی Security Protocols / روش استقرایی Inductive Method |
19-41865
|