2513 search results - page 378 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
116
click to vote
WCRE
1999
IEEE
15 years 2 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
ANCS
2007
ACM
15 years 2 months ago
2007
ACM
Programming specialized network processors (NPU) is inherently difficult. Unlike mainstream processors where architectural features such as out-of-order execution and caches hide ...
FASE
2009
Springer
15 years 2 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
CBSE
2006
Springer
15 years 1 months ago
2006
Springer
The possibilities currently offered to conduct business at an electronic level are immense. Service providers offer access to their attendances through components placed on the Int...
DAGSTUHL
2007
14 years 11 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...