| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mladen A. Vouk, Pierre Mouallem |
On High-Assurance Scientific Workflows.  |
HASE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhongxing Yu, Hai Hu, Chenggang Bai, Kai-Yuan Cai, W. Eric Wong |
GUI Software Fault Localization Using N-gram Analysis. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sami S. Alwakeel, Shaker S. AlGhanmi |
A Real Time Window-Based Local Call Admission Control Algorithm for IP Networks. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser |
Leader-Determined Membership Protocol. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingrid Buckley, Eduardo B. Fernández |
Enumerating Software Failures to Build Dependable Distributed Applications. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Kanso, Ferhat Khendek, Anik Mishra, Maria Toeroe |
Integrating Legacy Applications for High Availability: A Case Study. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky, Yuliya Prokhorova, Elena Troubitsyna |
Patterns for Representing FMEA in Formal Specification of Control Systems. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Ceccarelli, Marco Vieira, Andrea Bondavalli |
A Testing Service for Lifelong Validation of Dynamic SOA. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chetan Mutha, Carol Smidts |
An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Md. Emdadul Haque, Fan Wei, Takehiro Gouda, Xiaodong Lu, Kinji Mori |
Autonomous Online Expansion Technology for ZigBee Wireless Sensor Networks. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayman Amin, Alan Colman, Lars Grunske |
Using Automated Control Charts for the Runtime Evaluation of QoS Attributes. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Janell Duhaney, Taghi M. Khoshgoftaar, John C. Sloan, Bassem Alhalabi, Pierre P. Beaujean |
A Dynamometer for an Ocean Turbine Prototype: Reliability through Automated Monitoring. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wuliang Sun, Robert B. France, Indrakshi Ray |
Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | H. Assoudi, H. Lounis |
Self-Healing Data Exchange Process under Evolving Schemas: A New Mapping Adaptation Approach Based on Self-Optimization. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Atif Mashkoor, Jean-Pierre Jacquot |
Guidelines for Formal Domain Modeling in Event-B. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zahid Syed, Sean Banerjee, Qi Cheng, Bojan Cukic |
Effects of User Habituation in Keystroke Dynamics on Password Security Policy. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Debmalya Biswas, Valtteri Niemi |
Transforming Privacy Policies to Auditing Specifications. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vivek Tyagi, Abhijit S. Pandya, Ankur Agarwal, Bassem Alhalabi |
Validation of Object Recognition Framework on Android Mobile Platform. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Lo, Hong Cheng, Xiaoyin Wang |
Bug Signature Minimization and Fusion. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Yang, Zhenyu Chen, Baowen Xu, W. Eric Wong, Jie Zhang |
Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Hein, Debmalya Biswas, Leonardo A. Martucci, Max Mühlhäuser |
Conflict Detection and Lifecycle Management for Access Control in Publish/Subscribe Systems. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu |
A Unifying Approach to Validating Specification-Oriented XML Constraints. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingjie Lin, Yu Bai, John Wawrzynek |
Discriminatively Fortified Computing with Reconfigurable Digital Fabric. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Paharsingh, Olivia Das |
An Availability Model of a Virtual TMR System with Applications in Cloud/Cluster Computing. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Randall Wald, Taghi M. Khoshgoftaar, John C. Sloan |
Using Feature Selection to Determine Optimal Depth for Wavelet Packet Decomposition of Vibration Signals for Ocean System Reliability. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier González, Antonio Muñoz, Antonio Maña |
Multi-layer Monitoring for Cloud Computing. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manasi Peshave, Farokh B. Bastani, I-Ling Yen |
High-Assurance Reconfigurable Multicore Processor Based Systems. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yingying Zhang, Emmanuel Rodriguez, Hao Zheng 0001, Chris J. Myers |
A Behavioral Analysis Approach for Efficient Partial Order Reduction. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Taghi M. Khoshgoftaar (eds.) |
13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011 |
HASE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dongeun Lee, Heonshik Shin, Eunjeong Park |
Modeling Recovery Strategies in Service-Oriented Architecture Using a Markov Decision Process. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kunming Nie, Li Zhang |
On the Relationship between Preprocessor-Based Software Variability and Software Defects. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Herbert Hecht |
So Much to Learn from One Accident Crash of 737 on 25 February 2009. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Louise, Matthieu Lemerre, Christophe Aussaguès, Vincent David |
The OASIS Kernel: A Framework for High Dependability Real-Time Systems. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Sloan, Taghi M. Khoshgoftaar |
Ensemble Coordination for Discrete Event Control. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael F. Siok, Jeff Tian |
Benchmarking Embedded Software Development Project Performance. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pratik Maheshwari, Byong-Su Seol, Jong-Sung Lee, Jae-Deok Lim, Sahra Sedigh, David Pommerenke |
Software-Based Instrumentation for Localization of Faults Caused by Electrostatic Discharge. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol |
Reducing State Explosion with Context Modeling for Model-Checking. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Rodrigues, Daniel F. Pigatto, Júlio Cezar Estrella, Kalinka Regina Lucas Jaquie Castelo Branco |
Comparison and Analysis of Cryptographic Algorithms Aiming Performance Improvement in Secure Web Services. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti |
Worst Case Temporal Consistency in Integrated Modular Avionics Systems. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehrdad Sabetzadeh, Davide Falessi, Lionel C. Briand, Stefano Di Alesio, Dag McGeorge, Vidar Åhjem, Jonas Borg |
Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajime Fujita, Yutaka Ishikawa |
Anytime Available Single IP Address Cluster. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mazen El Maarabani, Ana R. Cavalli, Iksoon Hwang, Fatiha Zaïdi |
Verification of Interoperability Security Policies by Model Checking. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lance Fiondella, Sanguthevar Rajasekaran, Swapna S. Gokhale |
Efficient System Reliability with Correlated Component Failures. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vishesh Ved, Vivek Tyagi, Ankur Agarwal, Abhijit S. Pandya |
Personal Health Record System and Integration Techniques with Various Electronic Medical Record Systems. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mustapha Mjit, Pierre-Philippe J. Beaujean, David J. Vendittis |
Smart Vibration Monitoring System for an Ocean Turbine. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Maña, Jose Fran. Ruiz |
A Security Modelling Framework for Systems of Embedded Components. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bernhart, Stefan Reiterer, Kilian Matt, Andreas Mauczka, Thomas Grechenig |
A Task-Based Code Review Process and Tool to Comply with the DO-278/ED-109 Standard for Air Traffic Managment Software Development: An Industrial Case Study. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simin Nadjm-Tehrani, Maria Vasilevskaya |
Towards a Security Domain Model for Embedded Systems. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu |
An Event-B Interpretation for SPARDL Model. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li |
A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tushar Deshpande, Panagiotis Katsaros, Stylianos Basagiannis, Scott A. Smolka |
Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Winter, Jonathan Guerrero, Carl Reinke, James T. Perry |
Monarch: A High-Assurance Java-to-Java (J2j) Source-Code Migrator. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | André Pflüger, Wolfgang Golubski, Stefan Queins |
Model Driven Validation of System Architectures. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehrdad Sabetzadeh, Shiva Nejati, Lionel C. Briand, Anne-Heidi Evensen Mills |
Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ying Wang, Chunming Hu, Bo Li |
VMDetector: A VMM-based Platform to Detect Hidden Process by Multi-view Comparison. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuanqi Tao, Bixin Li, Jerry Gao |
Regression Testing of Component-Based Software: A Systematic Practise Based on State Testing. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aritra Bandyopadhyay, Sudipto Ghosh |
On the Effectiveness of the Tarantula Fault Localization Technique for Different Fault Classes. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Qian Wang, Huibiao Zhu |
Animating the Approach of Deriving Operational Semantics from Algebraic Semantics for Web Services. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yutaka Matsuno, Hiroki Takamura, Yutaka Ishikawa |
A Dependability Case Editor with Pattern Library. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
assurance cases, dependability |
| 1 | Marco Gribaudo, Anne Remke |
Hybrid Petri Nets with General One-Shot Transitions for Dependability Evaluation of Fluid Critical Infrastructures. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Zhou, Hiroyuki Okamura, Tadashi Dohi |
Enhancing Performance of Random Testing through Markov Chain Monte Carlo Methods. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérémie Guiochet, Damien Martin-Guillerez, David Powell |
Experience with Model-Based User-Centered Risk Assessment for Service Robots. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
HAZOP, UML, safety, Risk assessment, autonomous systems, service robot |
| 1 | Shige Wang |
Domain-Specific Feature Modeling for High Integrity Vehicle Control System Functional Design. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
vehicle control systems, feature models, domain-specific modeling, product line engineering |
| 1 | |
12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, 2010 |
HASE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung |
EBAWA: Efficient Byzantine Agreement for Wide-Area Networks. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
wide-area networks, byzantine fault tolerance |
| 1 | Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels |
Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
Analysis of counterexamples, SCADE models, structural paths |
| 1 | Liangliang Xiao, Yunqi Ye, I-Ling Yen, Farokh B. Bastani |
Evaluation and Comparisons of Dependable Distributed Storage Designs for Clouds. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
access performance, security, replication, availability, secret sharing, erasure coding, Distributed storage systems |
| 1 | Franck Barbier, Cyril Ballagny |
Proved Metamodels as Backbone for Software Adaptation. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
model driven development, component-based development, software adaptation |
| 1 | Naeem Seliya, Taghi M. Khoshgoftaar, Jason Van Hulse |
Predicting Faults in High Assurance Software. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
classification, software measurements, bagging, defect prediction, imbalanced data, data sampling |
| 1 | Marin Bertier, Achour Mostéfaoui, Gilles Trédan |
Low-Cost Secret-Sharing in Sensor Networks. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
Malicious Behavior, Sensor Network, Reliability, Distributed Algorithm, Wireless Communication, Resiliency |
| 1 | Nikolaos Alexiou, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Deshpande, Scott A. Smolka |
Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
Cache Poisoning, DNS, Probabilistic Model Checking |
| 1 | Salvatore Distefano, Francesco Longo, Marco Scarpa |
Symbolic Representation Techniques in Dynamic Reliability Evaluation. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
Dynamic Reliability, Conservation of Reliability, Phase Type Distributions, Kronecker Algebra |
| 1 | Matthias Güdemann, Frank Ortmeier |
A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
fault tolerance, model checking, reliability, formal methods |
| 1 | Frantz Iwu |
Scalable Fualt Detection for FPGAs. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
FPGAs, Analysis, Component-based design |
| 1 | Luca Pazzi, Matteo Interlandi, Marco Pradelli |
Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fadi Wedyan, Sudipto Ghosh |
A Dataflow Testing Approach for Aspect-Oriented Programs. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, dataflow, AspectJ, test coverage, test criteria |
| 1 | Cobra Rahmani, Azad H. Azadmanesh, Harvey P. Siy |
Architecture-Based Reliability Modeling of Web Services Using Petri Nets. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
architecture-based reliability modeling, service oriented architecture, software reliability, web service composition, stochastic petri net |
| 1 | Yunja Choi, Hoon Jang |
Reverse Engineering Abstract Components for Model-Based Development and Verification of Embedded Software. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
Reverse-engineering, component, abstraction |
| 1 | Richard H. Carver, Jeff Lei |
A Stateful Approach to Testing Monitors in Multithreaded Programs. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
monitor, concurrent programming, reachability testing |
| 1 | Cuauhtemoc Munoz, Steve Roach |
Automated Testing of LTL Formula Generation by Prospec. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
Prospec, Specification Pattern System, automated testing, LTL |
| 1 | Pejman Salehi, Abdelwahab Hamou-Lhadj, Pietro Colombo, Ferhat Khendek, Maria Toeroe |
A UML-Based Domain Specific Modeling Language for the Availability Management Framework. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
Availability Management Framework, Configurations, High availability, UML profiles, Domain-specific modeling languages |
| 1 | Kai Du, Huaimin Wang, Shuqiang Yang, Yingwen Chen, Yan Wen |
Reliability Design for Large Scale Storage Systems. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan, Scott A. Smolka |
Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fan Zhang, Xingshe Zhou, Junwen Chen, Yunwei Dong |
A Novel Model for Component-Based Software Reliability Analysis. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Atef Mohamed, Mohammad Zulkernine |
At What Level of Granularity Should We be Componentizing for Software Reliability? |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Qin Li, Huibiao Zhu, Jifeng He |
Towards the Service Composition Through Buses. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fredrik Törner, Peter Öhman |
Automotive Safety Case A Qualitative Case Study of Drivers, Usages, and Issues. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hun Jung, Miao Ju, Hao Che, Zhijun Wang |
A Fast Performance Analysis Tool for Multicore, Multithreaded Communication Processors. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhua Wang, Sreedevi Sampath, Yu Lei, Raghu Kacker |
An Interaction-Based Test Sequence Generation Approach for Testing Web Applications. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Kumar Jha, Susmit Jha |
Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zizhong Chen, Jack Dongarra |
A Scalable Checkpoint Encoding Algorithm for Diskless Checkpointing. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheikh Iqbal Ahamed, Md. Endadul Hoque, Farzana Rahman, Mohammad Zulkernine |
Towards Secure Trust Bootstrapping in Pervasive Computing Environment. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dae-Kyoo Kim |
Software Quality Improvement via Pattern-Based Model Refactoring. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Sakurai, Péter Bokor, Neeraj Suri |
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Khalid Mahmood, Satoshi Niki, Xiaodong Lu, Kinji Mori |
A Novel Ripple-Based Context-Cognizant Service Discovery Method in Autonomous Decentralized Community System. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Miao Jiang, Mohammad Ahmad Munawar, Thomas Reidemeister, Paul A. S. Ward |
Detection and Diagnosis of Recurrent Faults in Software Systems by Invariant Analysis. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengcheng Zhang, Bixin Li, Mingjie Sun |
A Timed Extension of Property Sequence Chart. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Zhang 0001 |
Checking Inconsistency of Rule Sets in Active Real-Time Databases. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili |
Synopsis of Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission Value. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Berthier, Michel Cukier |
The Deployment of a Darknet on an Organization-Wide Network: An Empirical Analysis. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")