325 search results - page 3 / 65 » Secure safe ambients |
MFCS
2004
Springer
15 years 5 months ago
2004
Springer
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed commu...
CSL
2000
Springer
15 years 4 months ago
2000
Springer
In the ambient logic of classical second order propositional calculus, we solve the specification problem for a family of excluded middle like tautologies. These are shown to be r...
OOPSLA
2000
Springer
15 years 3 months ago
2000
Springer
HICSS
2010
IEEE
15 years 5 months ago
2010
IEEE
1 The browser has become a popular attack vector for implanting code on computer operating systems. Equally critical, important sessions, such as online banking, must be protected ...