نتایج جستجو برای: cards model
تعداد نتایج: 2113502 فیلتر نتایج به سال:
Smart card technology has resulted in vast developments in many aspects of modern human life. User acceptance of fuel rationing smart cards based on adoption model involves many factors such as: satisfaction, security, external variables, attitude toward using, etc. In this study, user acceptance and security factors for fuel rationing smart cards in Iran have been evaluated based on an adoptio...
Smart cards are able to store and protect relatively large amounts of data. When applied in universities, they can act as multi-purpose, multi-function and smart ID cards. This would avoid the waste of resources and maintain environmental sustainability. This study proposes a model that integrates Technology Acceptance Model and Theory of Reasoned Action into a framework incorporating the notio...
The Use of Formal Methods for Smart Cards, a Comparison between B and SDL to Model the T= 1 Protocol
In order to obtain high confidence in the software embedded into a smart card, we evaluated different techniques like model checking and theorem proving. Nevertheless due to the low cost of smart cards and mechanical constraints, the amount of memory available on chips is small. The code generated by the tools must be compact enough to fit the constraints. In this paper we compare different cod...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید