3821 search results - page 67 / 765 » A Security Model for Aglets |
IEEEARES
2010
IEEE
14 years 3 hour ago
2010
IEEE
Almost every company needs to process invoices to either claim money from their customers or to pay for products or services. Although companies are allowed to electronically proce...
PST
2008
13 years 9 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
EUROPKI
2007
Springer
14 years 1 months ago
2007
Springer
Even more than in our physical world, in our digital world we need systems that meet the security objective of service providers and users in equal measure. This paper investigates...
ZUM
2000
Springer
13 years 11 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
FTDCS
1997
IEEE
13 years 12 months ago
1997
IEEE
In the paper we present an overview of Saga Security System, a security architecture in open distributed systems. An agent in Saga Security System is called a Saga Agent. The auth...