1929 search results - page 127 / 386 » Change Propagation Analysis Using Domain Information |
138
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Role-Based Access Control (RBAC) has been widely used for expressing access control policies. Administrative Role-Based Access Control (ARBAC) specifies how an RBAC poli...
218
Voted
POPL
2005
ACM
16 years 4 months ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...
129
click to vote
ANSS
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a discrete-event network simulator, called Simnet, designed specifically for analyzing networksecurity protocols. The design and implementation is focused on simplicit...
159
click to vote
BIS
2009
15 years 5 months ago
2009
Abstract. Social software is known to stimulate the exchange and sharing of information among peers. This paper describes how an existing system that supports process builders in c...
138
click to vote
CN
2004
15 years 3 months ago
2004
Open networks are often insecure and provide an opportunity for viruses and DDOS activities to spread. To make such networks more resilient against these kind of threats, we propo...