Result 1 to 20 from 97 total
Attacker control and impact for confidentiality and integrity. (English)
Log. Methods Comput. Sci. 7, No. 3, Paper No. 17, 33 p., electronic only (2011).
1
A fast and effective way to improve the merging accuracy of multi-view point cloud data (English)
ICAC, 18-21 (2011).
2
Representing the process of machine tool calibration on first-order logic (English)
ICAC, 22-27 (2011).
3
Predictive mitigation of timing channels in interactive systems (English)
ACM Conference on Computer and Communications Security, 563-574 (2011).
4
Toward securely programming the internet. (English)
Jha, Somesh (ed.) et al., Information systems security. 6th international conference, ICISS 2010, Gandhinagar, India, December 17‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-17713-2/pbk). Lecture Notes in Computer Science 6503, 27 (2010).
5
Using security policies to write secure software. (English)
Esparza, Javier (ed.) et al., Logics and languages for reliability and security. Selected papers based on the presentations at the 30th international summer school, Marktoberdorf, Germany, August 4‒16, 2009. Amsterdam: IOS Press (ISBN 978-1-60750-099-5/hbk; 978-1-60750-100-8/ebook). NATO Science for Peace and Security Series D: Information and Communication Security 25, 225-261 (2010).
6
Complex system reliability. Multichannel systems with imperfect fault coverage. 2nd ed. (English)
Springer Series in Reliability Engineering. London: Springer (ISBN 978-1-84996-413-5/hbk; 978-1-84996-414-2/ebook). xiii, 238~p. EUR~99.95/net; SFR~143.50; \sterling~90.00; \$~129.00 (2010).
7
A semantic framework for declassification and endorsement. (English)
Gordon, Andrew D. (ed.), Programming languages and systems. 19th European symposium on programming, ESOP 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20‒28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11956-9/pbk). Lecture Notes in Computer Science 6012, 64-84 (2010).
8
Fast high-dimensional filtering using the permutohedral lattice (English)
Comput. Graph. Forum 29, No. 2, 753-762 (2010).
9
Toward securely programming the internet (English)
ICISS, 27 (2010).
10
Homogeneous family sharing (English)
OOPSLA, 520-538 (2010).
11
A semantic framework for declassification and endorsement (English)
ESOP, 64-84 (2010).
12
Predictive black-box mitigation of timing channels (English)
ACM Conference on Computer and Communications Security, 297-307 (2010).
13
Implementation of the two-point angular correlation function on a high-performance reconfigurable computer. (English)
Sci. Program. 17, No. 3, 247-259 (2009).
14
Forbidden substrings on weighted alphabets. (English)
Australas. J. Comb. 45, 59-65 (2009).
15
Technical perspective - reframing security for the web. (English)
Commun. ACM 52, No. 6, 82 (2009).
16
Building secure web applications with automatic partitioning. (English)
Commun. ACM 52, No. 2, 79-87 (2009).
17
Quantifying information flow with beliefs. (English)
J. Comput. Secur. 17, No. 5, 655-701 (2009).
18
Probability of loss assessment of critical k -out-of- n : G systems having a mission abort policy (English)
IEEE Transactions on Reliability 58, No. 4, 694-701 (2009).
19
The effects of quality control on decreasing error propagation in the landscan USA population distribution model: A case study of Philadelphia county (English)
T. GIS 13, No. 2, 215-228 (2009).
20
Result 1 to 20 from 97 total
Start
Contact
Print
General Help
