2486 search results - page 45 / 498 » A Type System for Computationally Secure Information Flow |
EUSAI
2007
Springer
14 years 2 months ago
2007
Springer
This paper examines the communication needs of busy parents that can be served by awareness systems: systems supporting a continuous and semi-automated flow of information about th...
BIRTHDAY
2006
Springer
14 years 13 days ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
ISPDC
2006
IEEE
14 years 2 months ago
2006
IEEE
Recently, we have proposed a comprehensive agent-based e-commerce system. While UML formalized, it lacked details how basic functions – e.g. user request to purchase a given pro...
WIAS
2010
13 years 7 months ago
2010
The rapid development of computer network technologies and social informationalization has brought many new opportunities and challenges in information security. With improved info...