397 search results - page 2 / 80 » Refinement Types for Secure Implementations |
JNSM
2007
13 years 4 months ago
2007
OOPSLA
2004
Springer
13 years 10 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
ESORICS
2005
Springer
13 years 10 months ago
2005
Springer
Security protocols are critical for protecting modern communication infrastructures and are therefore subject to thorough analysis. However practical implementations of these proto...
IJACT
2008
13 years 4 months ago
2008
: Certificateless cryptography is a promising technology for solving the key escrow problem in identity-based cryptography. However, the lack of a unified set of definitions and se...
DATE
2006
IEEE
13 years 8 months ago
2006
IEEE
Network applications are becoming increasingly popular in the embedded systems domain requiring high performance, which leads to high energy consumption. In networks is observed t...