2838 search results - page 7 / 568 » Verifying Controlled Components |
ISSRE
2010
IEEE
13 years 7 months ago
2010
IEEE
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
FM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
FASE
2010
Springer
13 years 6 months ago
2010
Springer
Role-based access control (RBAC) is a popular access control model for enterprise systems due to its economic benefit and scalability. There are many RBAC features available, each ...
SAS
2009
Springer
14 years 9 months ago
2009
Springer
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...