2209 search results - page 183 / 442 » Language Based Secure Communication |
162
Voted
IFIP
2004
Springer
16 years 10 days ago
2004
Springer
This paper focuses on the usability of the PINPAS tool. The PINPAS tool is an instruction-level interpreter for smartcard assembler languages, augmented with facilities to study si...
186
Voted
IFIP
2004
Springer
16 years 10 days ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
185
Voted
ICICS
2005
Springer
16 years 14 days ago
2005
Springer
Software that covertly monitors a user’s actions, also known as spyware, has become a first-level security threat due to its ubiquity and the difficulty of detecting and remov...
226
click to vote
TRIDENTCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
The Internet enables the way how global businesses and communities communicate today. In the last years, however, new demands have collided with old designs, resulting in a complex...
153
Voted
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Fred Brooks’ retelling of the biblical story of the Tower of Babel offers many insights into what makes building software difficult. The difficulty, according to common interp...