386 search results - page 54 / 78 » Providing Fine-grained Access Control for Java Programs |
139
Voted
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
117
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Run-time monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences...
125
Voted
MOBIHOC
2009
ACM
16 years 4 months ago
2009
ACM
In this demo we present the Wireless Open-Access Research Platform for Networks (WARPnet), a research testbed aimed at performing experiments at the network level. The platform is...
128
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for sy...
114
Voted
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper describes the implementation of an enforcement module for file system security implemented as part of a security architecture for distributed systems which enforces a c...