اعانه 15 سپتمبر 2024 – 1 اکتبر2024 د پیسو د راټولولو په اړه

د مهمو اصطلاحاتو پلټنه

  • Main
  • د مهمو اصطلاحاتو پلټنه
1
Smart Cards, Tokens, Security and Applications

Smart Cards, Tokens, Security and Applications

Keith Mayes, Konstantinos Markantonakis (eds.)
کال:
2017
ژبه:
english
فایل:
PDF, 16.38 MB
5.0 / 5.0
english, 2017
10
Near Field Communication: From Theory to Practice

Near Field Communication: From Theory to Practice

Vedat Coskun, Kerem Ok, Busra Ozdenizci(auth.)
کال:
2012
ژبه:
english
فایل:
PDF, 3.65 MB
0 / 0
english, 2012
14
Wireless communications security: solutions for the Internet of things

Wireless communications security: solutions for the Internet of things

Penttinen, Jyrki T. J
کال:
2017
ژبه:
english
فایل:
PDF, 3.28 MB
0 / 0
english, 2017
17
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Claudio A. Ardagna, Marco Cremonini (auth.), Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (eds.)
java
component
method
components
security
systems
stack
resource
operating
policies
card
policy
heap
memory
definition
function
specification
methods
abstract
privacy
embedded
execution
implementation
functions
programming
ψ1
formal
env
ψ2
values
feature
target
deployment
concretization
oriented
different
σ1
romization
typed
σ2
device
architecture
context
variables
abstraction
signature
analysis
defined
devices
static
کال:
2006
ژبه:
english
فایل:
PDF, 1.73 MB
0 / 0
english, 2006
18
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Claudio A. Ardagna, Marco Cremonini (auth.), Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (eds.)
java
component
method
components
security
systems
stack
resource
operating
policies
card
policy
heap
memory
function
specification
methods
abstract
privacy
embedded
execution
implementation
functions
programming
ψ1
formal
env
ψ2
values
feature
target
deployment
concretization
oriented
different
σ1
romization
typed
σ2
device
architecture
context
variables
abstraction
signature
analysis
devices
static
configuration
smart
کال:
2006
ژبه:
english
فایل:
PDF, 2.20 MB
0 / 0
english, 2006
23
t-base-301B-32MB for QC-8916 LA 2.0 Release Notes

t-base-301B-32MB for QC-8916 LA 2.0 Release Notes

Trustonic
کال:
2014
ژبه:
english
فایل:
PDF, 568 KB
0 / 0
english, 2014