S'inscrire | Se connecter | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

de dhein1030 library [346 articles]

Articles dernièrement stockés dans la bibliothèque de dhein1030 .
  • Co-evolution of Source Code and the Build System: Impact on the Introduction of AOSD in Legacy Systems
    (2008)
    by Bram Adams
    posted to aspects software by dhein1030 on 2008-08-06 17:45:17 as **
  • Aspicere2, AOP for C
    (2008)
    by Bram Adams
    posted to aspects software by dhein1030 on 2008-08-06 16:39:23 as **
  • Model Driven Security: Unification of Authorization Models for Fine-Grain Access Control
    (2003)
    by Carol C Burt, Barrett R Bryant, Rajeev R Raje, Andrew Olson, Mikhail Auguston
    posted to architecture models security uml by dhein1030 on 2008-04-29 21:59:52 as **
  • Model-driven security based on a Web services security architecture
    Services Computing, 2005 IEEE International Conference on, Vol. 1 (2005), pp. 7-15 vol.1.
    by Y Nakamura, M Tatsubori, T Imamura, K Ono
    posted to architecture models security uml by dhein1030 on 2008-04-29 21:53:22 as ** along with 1 person emiliorp
  • Model Driven Security for Process-Oriented Systems
    by David Basin, Jürgen Doser, Torsten Lodderstedt
    posted to architecture models security software uml by dhein1030 on 2008-04-29 21:49:45 as **
  • An object-oriented architecture supporting Web application testing
    Computer Software and Applications Conference, 1999. COMPSAC '99. Proceedings. The Twenty-Third Annual International (1999), pp. 122-127.
    by Ji-Tzay Yang, Jiun-Long Huang, Feng-Jian Wang, WC Chu
    posted to architecture soa testing web by dhein1030 on 2008-04-29 20:59:27 as **
  • A context-centric security middleware for service provisioning in pervasive computing
    Applications and the Internet, 2005. Proceedings. The 2005 Symposium on (2005), pp. 421-429.
    by A Corradi, R Montanari, D Tibaldi, A Toninelli
    posted to agents browser policy rdf security wireless by dhein1030 on 2008-04-25 14:08:31 as **
  • A proposal and implementation of automatic detection/collection system for cross-site scripting vulnerability
    Advanced Information Networking and Applications, 2004. AINA 2004. 18th International Conference on, Vol. 1 (2004), pp. 145-151 Vol.1.
    by O Ismail, M Etoh, Y Kadobayashi, S Yamaguchi
    posted to browser security xss by dhein1030 on 2008-04-18 16:00:07 as **
  • An aspect-oriented security framework
    DARPA Information Survivability Conference and Exposition, 2003. Proceedings, Vol. 2 (2003), pp. 143-145 vol.2.
    by V Shah, F Hill
    posted to aspects browser security software by dhein1030 on 2008-04-17 15:20:44 as **
  • Model Checking Aspect-Oriented Design Specification
    Computer Software and Applications Conference, 2007. COMPSAC 2007 - Vol. 1. 31st Annual International, Vol. 1 (2007), pp. 491-500.
    by Dianxiang Xu, Izzat Alsmadi, Weifeng Xu
    posted to aspects browser model-checking by dhein1030 on 2008-04-17 15:18:19 as **
  • An Algebra for Assessing Trust in Certification Chains
    (1999)
    by Audun Jøsang
    posted to browser trust by dhein1030 on 2008-04-17 13:41:58 as ** along with 1 person eduardomoschetta
  • Domain-Based Administration of Identity-Based Cryptosystems for Secure Email and IPSEC
    (2003), pp. 15-15.
    by DK Smetters, Glenn Durfee
    posted to browser sec-comms security by dhein1030 on 2008-04-16 22:42:57 as ** along with 1 person fariba
  • Expectations and Rankings of Web Site Quality Features: Results of Two Studies on User Perceptions
    System Sciences, 2001. Proceedings of the 34th Annual Hawaii International Conference on (2001), 10 pp..
    by Ping Zhang, G von Dran
    posted to evaluation ranking website by dhein1030 on 2008-04-15 19:04:38 as **
  • Secure Web Browsing with the OP Web Browser
    (May 2008)
    by Chris Grier, Shuo Tang, Samuel T King
    posted to browser by dhein1030 on 2008-04-15 14:06:04 as **
  • Terra: a virtual machine-based platform for trusted computing
    SIGOPS Oper. Syst. Rev., Vol. 37, No. 5. (December 2003), pp. 193-206.
    by Tal Garfinkel, Ben Pfaff, Jim Chow, Mendel Rosenblum, Dan Boneh
    posted to architecture browser security by dhein1030 on 2008-04-13 01:12:39 as **
  • Trusted declassification:: high-level policy for a security-typed language
    (2006), pp. 65-74.
    by Boniface Hicks, Dave King, Patrick Mcdaniel, Michael Hicks
    posted to browser by dhein1030 on 2008-04-13 01:00:21 as ** along with 2 people scavadini tesissvc
  • A safety-oriented platform for Web applications
    Security and Privacy, 2006 IEEE Symposium on (2006), 15 pp..
    by RS Cox, JG Hansen, SD Gribble, HM Levy
    posted to browser by dhein1030 on 2008-04-09 22:12:10 as **
  • Challenges in securing the domain name system
    Security & Privacy, IEEE, Vol. 4, No. 1. (2006), pp. 84-87.
    by R Chandramouli, S Rose
    posted to browser by dhein1030 on 2008-04-09 21:59:35 as *****
  • Foundational proof-carrying code
    Logic in Computer Science, 2001. Proceedings. 16th Annual IEEE Symposium on (2001), pp. 247-256.
    by AW Appel
    posted to browser formal by dhein1030 on 2008-04-08 19:57:30 as **
  • An Architectural Approach for Decentralized Trust Management
    IEEE Internet Computing, Vol. 9, No. 6. (2005), pp. 16-23.
    by Girish Suryanarayana, Justin R Erenkrantz, Richard N Taylor
    posted to browser security trust by dhein1030 on 2008-04-08 19:51:31 as **
  • Model Checking Security Properties of Control Flow Graphs
    Journal of Computer Security, Vol. 9, No. 3. (2001), pp. 217-250.
    by Frédéric Besson, Thomas Jensen, Daniel Le Métayer, Tommy Thorn
    posted to browser formal-models java security by dhein1030 on 2008-04-01 20:33:54 as *****
  • XSS Vulnerabilities in Common Shockwave Flash Files
    (2 January 2008)
    by Rich Cannings
    posted to browser xss by dhein1030 on 2008-03-28 19:28:53 as **
  • SSL/TLS Session-Aware User Authentication
    Computer, Vol. 41, No. 3. (2008), pp. 59-65.
    by Rolf Oppliger, Ralf Hauser, David Basin
    posted to browser sec-comms security by dhein1030 on 2008-03-28 12:40:07 as **
  • Access Control for the Web via Proof-Carrying Authorization
    (September 2003), pp. 1-124.
    by Lujo Bauer
    posted to browser formal phd security by dhein1030 on 2008-03-28 06:18:20 as **
  • An open framework for foundational proof-carrying code
    (2007), pp. 67-78.
    by Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo
    posted to browser formal by dhein1030 on 2008-03-28 06:10:35 as **
  • Proof-carrying code from certified abstract interpretation and fixpoint compression
    Theor. Comput. Sci., Vol. 364, No. 3. (November 2006), pp. 273-291.
    by Frédéric Besson, Thomas Jensen, David Pichardie
    posted to browser formal security by dhein1030 on 2008-03-28 06:09:27 as **
  • An Empirical Evaluation of the Impact of Test-Driven Development on Software Quality
    (December 2006)
    by David Janzen
    posted to phd tdd by dhein1030 on 2008-03-28 06:01:01 as **
  • Improving Software Security with Precise Static and Runtime Analysis
    (December 2006)
    by Benjamin Livshits
    posted to analysis security software by dhein1030 on 2008-03-28 05:45:17 as **
  • Software Architecture for Testing, Coordination and Views Model Checking
    (2002)
    by Henry Muccini
    posted to architecture model-checking phd by dhein1030 on 2008-03-28 05:02:17 as **
  • Assessing and Improving the Quality of Modeling - A Series of Empirical Studies about the UML
    (October 2007)
    by Christian Lange
    posted to models phd by dhein1030 on 2008-03-28 04:35:11 as **
  • WEESA - Web Engineering for Semantic Web Applications
    (2005)
    by Gerald Reif
    posted to browser phd policy security by dhein1030 on 2008-03-28 04:25:52 as ****
  • On the Modeling, Design, and Implementation of Firewall Technology
    (1997)
    by Christoph L Schuba
    posted to phd by dhein1030 on 2008-03-28 04:17:38 as **
  • REFEREE: Trust management for Web applications
    Computer Networks and ISDN Systems, Vol. 29, No. 8--13. (1997), pp. 953-964.
    by Yang H Chu, Joan Feigenbaum, Brian Lamacchia, Paul Resnick, Martin Strauss
    posted to browser policy trust by dhein1030 on 2008-03-28 04:09:17 as ** along with 1 person jfischer
  • Security in the Web Services Framework
    (2003), pp. 481-486.
    by Chen Li, Claus Pahl
    posted to browser policy security by dhein1030 on 2008-03-28 03:58:54 as **
  • Describing the P3P base data schema using OWL
    A WWW2005 Workshop on Policy Management for the Web (2005)
    by G Hogben
    posted to browser privacy by dhein1030 on 2008-03-28 03:34:47 as **
  • All Your iFRAMEs Point to Us
    Google Technical Report provos-2008a (4 February 2008)
    by Niels Provos, Panayiotis Mavrommatis, Moheeb A Rajab, Fabian Monrose
    posted to browser security by dhein1030 on 2008-03-26 20:32:16 as **
  • The Ghost in the Browser: Analysis of Web-based Malware
    (10 April 2007)
    by Niels Provos, Dean Mcnamee, Panayiotis Mavrommatis, Ke Wang, Nagendra Modadugu
    posted to browser security trend by dhein1030 on 2008-03-25 20:48:06 as **
  • A Pattern Language for Security Models
    (2001)
    by Eduardo B Fernandez, Rouyi Pan
    posted to architecture browser models by dhein1030 on 2008-03-25 16:00:51 as **
  • DNS Security Introduction
    by R Arends, R Austein, M Larson, Massey
    posted to browser by dhein1030 on 2008-03-24 23:20:04 as **
  • On JavaScript Malware and Related Threats
    Journal in Computer Virology (18 December 2008)
    by Martin Johns
    posted to browser java security by dhein1030 on 2008-03-24 23:11:44 as read
  • Trust Anchor Management Problem Statement
    (18 February 2008)
    by R Reddy, C Wallace
    posted to browser sec-comms by dhein1030 on 2008-03-24 13:06:04 as **
  • notes Securing Your Web Browser
    (Feb 2008)
    by Will Dormann, Jason Rafail
    posted to browser security users by dhein1030 on 2008-03-22 19:53:22 as **
  • Protecting the Intranet Against “JavaScript Malware” and Related Attacks
    Detection of Intrusions and Malware, and Vulnerability Assessment, Vol. 4579 (2007), pp. 40-59.
    by Martin Johns, Justus Winter
    posted to browser security xss by dhein1030 on 2008-03-18 06:31:43 as ****
  • Hacking Intranet Websites from the Outside-Javascript Malware Just Got a Lot More Dangerous
    Blackhat USA, August (2006)
    by J Grossman, T Niedzialkowski
    posted to browser security by dhein1030 on 2008-03-18 06:26:50 as ****
  • A survey of Web security
    Computer, Vol. 31, No. 9. (1998), pp. 34-41.
    by AD Rubin, DE Geer
    posted to browser sec-comms security by dhein1030 on 2008-03-18 06:21:25 as ****
  • notes Malware Web Site Detection
    (2005), pp. 1-21.
    by Hyun C Jeong
    posted to browser security by dhein1030 on 2008-03-18 06:12:27 as read
  • A modeling approach to federated identity and access management
    (2005), pp. 1156-1157.
    by Martin Gaedke, Johannes Meinecke, Martin Nussbaumer
    posted to architecture authentication browser by dhein1030 on 2008-03-17 19:39:31 as **
  • JavaScript Instrumentation for Browser Security
    (2007), pp. 237-249.
    by Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov
    posted to browser java model-checking xss by dhein1030 on 2008-03-17 19:32:31 as **
  • Verification of Real-Time Systems Using PVS
    Vol. 697 (June/July 1993), pp. 280-291.
    by n
    edited by Costas Courcoubetis
    posted to model-checking pvs by dhein1030 on 2008-03-17 18:12:24 as **
  • PVS: Combining specification, proof checking, and model checking
    Vol. 1102 (/ 1996), pp. 411-414.
    by S Owre, S Rajan, JM Rushby, N Shankar, MK Srivas
    edited by Rajeev Alur, Thomas A Henzinger
    posted to model-checking by dhein1030 on 2008-03-17 18:11:27 as ** along with 1 person scis0000001
    • Remarque: pour citer cette page, utilisez l'url suivante: http://www.citeulike.org/user/dhein1030

    Result page: 1 2 3 4 5 6 7 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.