4386 search results - page 769 / 878 » A Tamper-Resistant Programming Language System |
104
Voted
IFIP
2001
Springer
15 years 6 months ago
2001
Springer
Effective security management depends upon good risk management, which is itself based upon a reliable risk assessment, involving data collection of all the facets influencing sys...
127
click to vote
ASPLOS
2000
ACM
15 years 5 months ago
2000
ACM
Recently, there has been a growing interest in exploiting profile information in adaptive systems such as just-in-time compilers, dynamic optimizers and, binary translators. In th...
196
click to vote
ASPLOS
1998
ACM
15 years 5 months ago
1998
ACM
This paper describes the Network-Attached Secure Disk (NASD) storage architecture, prototype implementations of NASD drives, array management for our architecture, and three files...
113
Voted
ICALP
1998
Springer
15 years 5 months ago
1998
Springer
We show that characteristic formulae for nite-state systems up to bisimulationlike equivalences (e.g., strong and weak bisimilarity) can be given in the simple branching-time temp...
ICALP
1989
Springer
15 years 5 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...