近年來隨著網路的發達，網頁應用程式也跟著快速且普遍化地發展。網頁應用程式快速盛行卻忽略程式設計時的安全性考量，進而成為網路駭客的攻擊目標。因此，網頁應用程式的安全議題日益重要。目前已有許多網頁應用程式安全弱點的相關研究，以程式分析的技術找出弱點，主要分成靜態分析與動態分析兩大類。但無論是使用靜態或是動態的分析方法，仍有其不完美的地方。其中靜態分析結果完備但會產生過多弱點誤報；動態分析結果準確率高但會因為測試案例的不完備而造成弱點的漏報。因此，本論文研究結合了動靜態分析，利用靜態分析方法發展一套測試案例產生工具；再結合動態分析方法隨著測試案例的執行來追蹤測試資料並作弱點的驗證，以達到沒有弱點漏報的產生以及改善弱點誤報的目標。 本論文研究的重點集中在以靜態分析技術產生涵蓋目標程式中所有可執行路徑的測試案例。我們應用測試案例產生常見的符號化執行技巧，利用程式的路徑限制蒐集與解決來達成測試案例產生。實作上我們利用跨程序性路徑分析找出目標程式中所有潛在弱點的路徑，再以反向路徑限制蒐集將限制資訊完整蒐集；最後交給限制分析器解限制並產生測試案例。接著利用剖面導向程式語言AspectJ的程式插碼技術實現動態的汙染資料流分析，配合產生的測試案執行程式觸發動態的汙染資料流分析並產生可信賴的弱點分析結果。 / Due to the rapid development of the internet in recent years, web applications have become very popular and ubiquitous. However, developers may neglect the issues of security while designing a program so that web applications become the targets of attackers. Hence, the issue of web application vulnerabilities has become very crucial. There have been many research results of web application security vulnerabilities and many of them exploit the technique of program analysis to detect vulnerabilities. These analysis approaches can be can basically be categorized into dynamic analysis and static analysis. However, both of them still have their own problems to be improved. Specifically static analysis supports high coverage of vulnerabilities, but causes too many false positives. As for the dynamic analysis, although it produces high confident results, yet it may cause false negatives without complete test cases. In this thesis, we integrate both static analysis and dynamic analysis to achieve the objectives that no false negatives are produced and reduce false positives. We develop a test case generation tool by the static analysis approach and a program execution tool that dynamically track the execution of the target program with those test data to detect its vulnerabilities. Our test case generation tool first employs both intra- and inter-procedural analysis to cover all vulnerable paths in a program, and then apply the symbolic execution technique to collect all path constraints. With these collected constraints, we use a constraint solver to solve them and finally generate the test cases. As to the execution tool, it utilizes the instrumentation mechanism provided by the aspect-oriented programming language AspectJ to implement a dynamic taint analysis that tracks the flow of tainted data derived from those generated test cases. As a result, all vulnerable program paths will be detected by our tools.

隨著國內廠商生產線的外移，許多產業已發展至成熟的階段，各種企業經營都越來越倚重以服務為基礎的商業運作，服務業的生產與規模日益成長，大部分服務性質的工作已囊括在各類經濟活動中，根據主計處統計2013年台灣服務業占GDP比重約68.29%，顯見發展服務創新活動對於國家經濟成長而言之重要性，服務創新已成為當前相關服務業者重要投入的新興領域。 由於服務創新角色與地位重要性日趨提昇，相關的服務與創新活動不斷的推陳出新加上科技的進步，醫療水準的提高，使得人類的壽命能不斷地延長，人口老化已成為全球皆關注的現象。然面對於科技發達，高齡者越來越長壽，老年人口增加的情況下，卻少有人探討有關服務創新之議題，且又以銀髮族研究在服務創新上仍有待釐清。 當前各個國家都同時面臨了人口老化與服務業成長幅度快速的攀升，對於銀髮族服務廠商而言需要不斷的學習與調整以創造競爭力，其中服務創新「測試階段」雖然在服務業服務創新流程中扮演著重要的角色，但目前在服務業中服務測試階段的研究，不論是新產品開發流程亦或是新服務開發流程，對於測試階段的構面與內容都是相較於其他階段的研究較為缺乏。 鑑於此，本研究方法上採取個案研究法，並以中國銀髮族服務業者進行深入的個案研究，本研究採取「理論取樣」方法，選取中國人口老齡化程度最高的地區之一北京市銀髮族人口密集度最高作為主要的研究場域，針對銀髮族服務業者在服務創新測試階段之流程以及測試過程中的組織學習與調整為核心的敘事研究，並就服務創新測試階段、組織學習及銀髮族服務創新進行相關學理文獻的彙整及個案的訪談進行研究。 本研究得到的主要結論，包含：(1)銀髮族服務業者服務創新測試的過程依序分為四個階段，包含：形成期、風暴期、規範期、穩定期，並在服務創新測試不同的階段中展現不同的摸索特徵、內容與過程；(2)服務業者在服務創新測試階段的組織學習上，除了會考量服務本身的學習與調整之外，也會考量服務創新流程方面的學習與調整；(3)銀髮族服務業者在服務創新測試的不同階段中，不同的服務人力涉入程度之服務業者會採不同的學習方式，以提升測試中服務的績效；(4) 銀髮族服務業者在服務創新測試階段的過程中，會考量服務人力涉入需求的不同，而選擇不同專精程度的團隊組成與服務內容；(5)銀髮族服務業者在服務創新的測試過程中，會在不同的測試階段中設置不同的關卡類型；(6)銀髮族服務業者在服務創新測試的不同階段中，會透過不同的傳遞方式來提供服務，以提升測試服務過程中的組織學習效果；(7)在服務創新的測試過程中，銀髮族服務業者會就不同的服務內容與特性(顧客化程度與資訊化程度)，選擇不同的溝通方式，以提升測試服務過程中的組織學習效果；(8)在服務創新測試階段中，銀髮族服務業者會就不同的銀髮族群特性(社會化程度、互動化程度)，採取不同的溝通方式，以提升測試服務過程中的組織學習效果。 本研究在學術上的主要貢獻，包括：(1)本研究特別就服務創新的測試來探討，彌補了服務創新領域相關研究上的不足；(2)本研究特別針對銀髮族服務業者來探討，彌補了服務創新領域相關研究上的不足；(3)本研究特別從組織學習的理論切入，彌補了過往服務創新研究在此議題上的不足；(4)本研究提出組織學習機制的概念作為銀髮族服務創新的切入點。 本研究最後並提出服務創新測試階段的組織學習機制相關的實務意涵及後續研究建議，進一步地提出服務創新測試四階段模式、服務創新測試作為、組織學習機制，提供服務創新測試階段組織學習過程的影響因素做為服務業者進行服務創新測試管理與提升測試階段的學習成效時的參考依據。而對於未來有意願投入或開發銀髮族服務業相關服務的創新團隊，本研究亦提供銀髮族服務創新測試階段之組織學習機制的整體性架構的空間。 / With the continuous development of service industries, many industries have bundled with service roles to improve their business and economic activities. The industry for senior service has grown rapidly and has become a market target industry due to the increase in prolonged lives and a healthy aging population. This service industry has become a phenomenon worldwide, and Taiwan currently ranks second in aging populations among Asian countries. Taiwan’s senior service industry is an emerging industry, the majority of which is supported by smaller companies. Therefore, little researching has been done on the innovative services handling this quickly growing aging population. Furthermore, service innovation remains immature within senior sectors. This opportunity continues to be an interesting topic for all business sectors, but little research has scrutinized the relationship and meaning in service innovations for seniors. Currently, countries around the world are facing the rapid rise of aging populations and service industry growth, which requires constant learning and adjustment in order to create competitive power. While the “testing stage” of service innovation plays an important role in the service innovation process, the research on service testing stage, whether about the new product development process or the service development process, for the testing stage of the structure and content compared to other stages is scarce. Therefore, in this research, we adopt the case study method and recruit people from the Chinese elderly service industry to carry out a thorough case study. In particular, this study adopts the “theoretical sampling” method to determine one of the most aging areas in China, with the highest population density in Beijing being the main research field. In this study, we focus on the service innovation test stage’s process in the senior citizen industry, as well as the organization study and narrative research in the testing process, the core of which involves organizational learning and adjustment. Such organizational learning and service innovation for the elderly are both examined in this study through relevant academic literature and case interviews. The main conclusions of this study are as follows: 1. The process of service innovation testing of the senior citizen industry is divided into four stages: formation period, storm period, normative period, and stable period, all of which have different characteristics, content, and processes; 2. In the service innovation testing stage of organizational learning, in addition to considering the study and adjustment of the service itself, the study and adjustment of the service innovation process shall also be considered; 3. In the different stages of service innovation testing, the service providers adopt different ways of learning to improve the performance of the service being tested; 4. In the process of service innovation testing, the senior-citizen service providers will consider the manpower requirements involved in different service patterns and choose different team compositions and service contents accordingly; 5. In the process of service innovation testing, different types of tasks are established at different test stages; 6. In the different stages of service innovation testing, services are provided through different communication methods to enhance the organizational learning effect in the testing service process; 7. In the process of testing service innovation, the service provider acts according to the differences in the service content and characteristics (customizing degree and information level) and chooses different methods of communication to improve the effectiveness of organizational learning; 8. In the service innovation testing stage, senior citizen service providers adopt different communication methods to improve the organizational learning effect in the process of testing services for the different characteristics of the senior citizen group (socialization degree and interactivity degree). This study aims to make the following contributions in the academic field: 1. This study discusses specifically the testing of service innovation, which complements the lack of relevant research in the field of service innovation; 2. Focus on the service providers for senior citizens also makes up for deficiencies in the field of services innovation; 3. Use of organizational learning theory as the leverage point supplements the insufficient research on service innovation in the past; 4. This study proposes the concept of organizational learning mechanism as an entry point for senior-citizen service innovation. Based on this study’s results, we propose some practical implications of the organizational learning mechanism in the service innovation testing stage, as well as some follow-up research suggestions. Furthermore, we put forward the four-stage model of service innovation testing and the organizational learning mechanism and provide the influential factors of the organizational learning process as a reference for service providers to innovate test management and improve the learning effectiveness of the testing stage. In the future, the industry will have to invest in or develop services related to the service of the innovative team. This study also provides the family service innovation testing stage of the organizational learning mechanism for the overall framework of space.

自古鄰里相親敦親睦鄰，然而近年生活習慣與居住型態轉變，集合式公寓社區成為都市人們主要的住宅型態，人們與鄰里之間的互動日漸減少，以致於鄰里關係疏離。基此，本研究主旨在探討透過服務設計方法，改善都市集合式社區的住戶與鄰里之間的人際互動與溝通。 本研究以服務體驗工程方法論為研究方法，分三個階段進行研究。第一階段「服務體驗需求洞察研究」階段，透過深度訪談與參與觀察，挖掘社區住戶與鄰里主要有兩個接觸情境，即兩個不同的研究方向: (1)一為主動型住戶與鄰里往來而形成社區團購；(2)二為管委會與住戶的溝通與服務。比較兩個方向對社區的影響性後，擇第二個方向為本研究的研究方向。首先，採用人物誌分析出流程中三方使用者，包含住戶、管委會與總幹事，再以顧客旅程地圖發現三方溝通流程「管委會與住戶之間的溝通」及「住戶參與管委會的經驗」影響社區鄰里的互動關係，在流程的三部分中共發現16個問題與需求。 接著，第二階段進行「服務設計」，以普及至使用者中壯年齡層的智慧型手機為服務載具，設計社區社交平台「比鄰Belink App」，提供四項功能：「社區公告」、「提問求助」、「知識交流」與「委員會議」，改善住戶擔任委員參與管委會或是與管委會接觸的體驗。最後，第三階段「服務原型測試與評估」，邀請三方使用者以放聲思考法依照指定的情境使用「比鄰Belink App」，並填寫整體使用評估量表，再根據測試結果與意見回饋提出第二版設計，修改操作模式、介面按鈕的位置、顏色與形狀等等。 總結，研究成果為：（1）發現住戶與管委會在溝通流程三階段的16個問題與痛點；（2）了解中壯年齡層住戶的智慧型手機使用經驗；（3）提出符合使用需求的「比鄰Belink App」四大功能設計；（4）完成App使用性測試與可行性評估，使用者滿意提供的功能，三方使用者可更即時、公開與正向地進行溝通；但易用性方面雖具備可記憶性但易學性低，需修改設計。研究成果可作為日後相關研究參考。

本文研究重點係母子公司合併時子公司少數股東權益保障的爭議問題，並嘗試從美國法之觀點檢討我國母子公司合併案例與相關之規範設計。 從美國德拉瓦州法院對於母子公司合併規範模式之演變，應可察覺一國法制總體面因素的變化，以及合併基礎法制變遷，對於母子公司合併規範設計之影響。總體面因素諸如當代公共政策的游移、投資人與市場周邊機制之成熟度、公司內部治理機制的健全、社會思潮的偏向等；合併基礎法制幾個重大變遷，包括可決合併門檻多數決原則之確立、簡易以及制式現金逐出合併之陸續完成立法等，在在都影響了法院對於母子公司合併之規範態度。法院的態度變化，也顯現在子公司少數股東所擁有之兩項救濟，亦即股份收買請求權以及違反受任人義務訴訟救濟，在近一世紀以來，其起初係平行發展、繼而相互競爭至目前走向調和之變遷過程。而在過程中，違反受任人義務的內涵與課責標準一直持續變化，連帶地也影響股份收買請求權理論基礎的汰換、調整與新生。 德拉瓦州法院對於母子公司合併的處理方式，是區分簡易合併與制式合併而適用不同的規範模式。制式合併係適用「財產法則」概念下之常規交易審查模式，違反常規交易標準即屬違反受任人義務；簡易合併則因為協商成本太高，所以適用「補償法則」，以股份收買請求權為唯一救濟。此項規範模式，很顯然地是一種妥協之處理方式。尤其股份收買請求權之相關配套設計，包括評價得否採計合併綜效、救濟成本之負擔方式以及程序障礙設計猶存諸多問題，採取「補償法則」背後的考量因素或許正是為便利母公司執行合併。 從美國德拉瓦州公司法母子公司合併規範設計之歷史演變，比較我國目前現階段的母子公司合併規範之設計，大體說來，由於我國公司法與企業併購法之規範設計不利於子公司與母公司進行協商、再加上董事以及控制股東（亦即母公司）對於子公司之股東並無直接負受任人義務，在子公司股東無法對於不公平的合併對價，直接請求董事或母公司負擔損害賠償責任的情況下，將很難期待子公司的董事會盡力為子公司少數股東，向母公司爭取公平的合併對價。 換言之，由於我國受任人義務體系之不完備，少數股東縱然認為合併對價涉及不公情事，似乎也祇能依照民法侵權行為之規定，向董事或母公司請求損害賠償。按照民法第一八四條之規定，其舉證責任門檻事實上即相當於美國法對於簡易合併場合之規範。亦即是說，我國法似乎並無特別針對母子公司合併此項具有利益衝突之重大交易，提出任何有別於常規交易之差異規範，此即導致子公司少數股東僅能按照一般侵權行為之規範，請求母公司或董事負擔損害賠償責任，這對於少數股東而言，自是甚為不利。 短期而言，從經濟政策上係鼓勵合併，抑或從我國公司內部治理機制以及市場機制尚未健全發展至足以提供子公司相當之協商力量以與母公司抗衡的角度，我國似乎都無法在仿效美國於制式合併場合，建立偏向「財產法則」概念下之「近似常規交易協商模式」。因此，現階段或應思考從改善我國股份收買請求權設計開始著手。對此，ALI Principles與RMBCA有關股份收買請求權設計之立法例，我國應擇其優而加以援用。 長期而言，按照我國現階段的規範趨勢，似乎係在仿效美國法制，逐漸朝向市場導向之公司治理機制（market-oriented style of corporate governance），因此持續開拓我國資本市場的深度與廣度，以及建立適合於我國公司生態的公司內部治理機制，都將是繼續努力的目標。倘若未來我國市場之周邊機制與公司內部治理機制皆能發揮適當的治理功能，前述偏重於「補償法則」概念下規範模式之股份收買請求權設計，即有必要加以調整，以避免美國現階段在現金逐出合併場合所發生之「規範重疊」（regulation overlap）問題。

2008年次貸風暴橫掃全球金融市場，Basel II制度歷經多年的實施，卻無法有效防阻金融風暴的發生。觀察2008已採用內部模型法之主要國際金融機構之年報，亦發現採用蒙地卡羅模擬法之代表銀行『德意志銀行』於該年度竟發生了35次穿透，市場風險管理到底出了什麼問題？這是被極度關心的現象，產官學界也對此現象提出了許多議題。2012年的現在，次貸的風暴尚未遠去，新的歐債危機也正在蔓延，若金融風暴再次來臨，市場風險管理是否能克服次貸風暴後所凸顯的缺失，市場風險管理的價值除被動管理外，是否還可以進階到主動預警，以作為經營決策的重要參考資訊？這些都是國內金融機構需積極面對的急迫的市場風險管理議題。 個案金控的市場風險管理機制致力於解決次貸以來所凸顯的市場風險管理議題、提升市場風險衡量的精準度、擴大市場風險管理之應用範圍，並將市場風險管理的價值由被動管理角色進階到主動預警角色，以期作為經營決策的重要參考。經過多年的淬煉，其發展理念與經驗應具相當參考價值，故本論文以個案金融控股公司(以下簡稱個案金控)之實務經驗進行個案研究，除分析個案金控市場風險管理機制的基礎架構外，也將研究重心放在個案金控如何在此基礎架構下，開發多種進階市場風險量化管理功能。 本論文除研究個案金控如何完善市場風險值量化機制外，也對各量化功能的實施結果進行分析，以期研究成果可更客觀的作為其他金融控股公司未來發展進階市場風險衡量機制之參考。