386 search results - page 54 / 78 » Providing Fine-grained Access Control for Java Programs |
118
Voted
SPIN
2010
Springer
15 years 7 days 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...
104
click to vote
KBSE
2008
IEEE
15 years 8 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...
115
Voted
MOBIHOC
2009
ACM
16 years 2 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...
115
click to vote
IFIP
2004
Springer
15 years 7 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...
ACSAC
2001
IEEE
15 years 5 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...