396 search results - page 1 / 80 » Generalizing Parametricity Using Information-flow |
CSFW
2004
IEEE
13 years 8 months ago
2004
IEEE
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...
ACSAC
2006
IEEE
13 years 10 months ago
2006
IEEE
Many software security solutions require accurate tracking of control/data dependencies among information objects in network applications. This paper presents a general dynamic in...
WWW
2005
ACM
14 years 5 months ago
2005
ACM
This paper shows how a corpus of instant messages can be employed to detect de facto communities of practice automatically. A novel algorithm based on the concept of Edge Stress F...
SPC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
ETRICS
2006
13 years 8 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...