81 search results - page 1 / 17 » Controlling information release in the pi-calculus |
IANDC
2007
13 years 4 months ago
2007
CSFW
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—Many computer systems have a functional requirement to release information. Such requirements are an important part of a system’s information security requirements. Cu...
SDMW
2004
Springer
13 years 9 months ago
2004
Springer
In a database system, authorization-based access-control is generally the first line of defense, preventing unauthorized accesses to secret or sensitive data. However, this mechan...
ICSM
2003
IEEE
13 years 9 months ago
2003
IEEE
Version control and bug tracking systems contain large amounts of historical information that can give deep insight into the evolution of a software project. Unfortunately, these ...
HYBRID
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. A self-triggered control task is one in which the task determines its next release time. It has been conjectured that self-triggering can relax the requirements on a real...