3821 search results - page 669 / 765 » A Security Model for Aglets |
ICDCIT
2005
Springer
15 years 6 months ago
2005
Springer
— Micro-payment systems have the potential to provide non-intrusive, high-volume and low-cost pay-asyou-use services for a wide variety of web-based applications. We proposed a n...
100
Voted
ICIAR
2005
Springer
15 years 6 months ago
2005
Springer
There has been many hidden communication techniques proposed in the last few years. The focus was given to steganography to build such techniques. Utilizing stego-key(s) to hide se...
107
Voted
IFIP
2005
Springer
15 years 6 months ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
87
Voted
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...
80
Voted
SAFECOMP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...