2079 search results - page 228 / 416 » Quantifying Information Flow |
IEEEIAS
2008
IEEE
14 years 4 months ago
2008
IEEE
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...
IWIA
2006
IEEE
14 years 3 months ago
2006
IEEE
The development of a Common Criteria protection profile for high-robustness separation kernels requires explicit modifications of several Common Criteria requirements as well as e...
EMISA
2004
Springer
14 years 3 months ago
2004
Springer
: This paper focuses on how the information technologies can improve the management of small construction projects. First, the specific situation of the construction industry is pr...
CAISE
2006
Springer
14 years 1 months ago
2006
Springer
- Extended Abstract of Industrial Talk IT services are an important means to achieve competitive advantages by creating new business models or by reducing costs. Furthermore, there...
DSN
2004
IEEE
14 years 1 months ago
2004
IEEE
This paper presents a multicast algorithm for peer-topeer dissemination of events in a distributed topic-based publish-subscribe system, where processes publish events of certain ...