masterqのブックマーク / 2012年2月7日

masterq id:masterq

2012年2月7日のブックマーク (9件)

openQA
Welcome to openQA Life is too short for manual testing! Learn more »
masterq 2012/02/07
動画もresultに掲載されるんだ。。。すげぇ。

linux

qa

testing
リンク
【求人広告】明るくアットホームな会社です！
【求人広告】明るくアットホームな会社です！
masterq 2012/02/07
シヌマデコキツカウ

joke
リンク
はじめてのアマゾンクラウド③『S3にwebコンテンツを保存』
1. はじめてのアマゾンクラウド③ 『S3にWebコンテンツを保存』エバンジェリスト玉川憲 Twitter: @KenTamagawa アマゾンデータサービスジャパン株式会社 Ver0.9.1: 更新日: 2011年3月12日 2. 事前準備 AWSのアカウントを開設し、Amazon S3の申し込みが済んでいるかご確認くださいまたの方は、「AWSのアカウントを開設する」を参照ください。インターネットアクセス Webブラウザ（Firefox推奨）注：このガイドは、お客様がAWSを実践されるのを補助する目的で作られており、非公式のドキュメントです。このガイドの実施はご自身の責任でお願い致します。どのような性質の損害についても当方は責任を負いません。 3. • Webブラウザを立ち上げます • AWSのホームページのhttp://aws.amazon.com/jp/にアクセ
masterq 2012/02/07
できるamazon S3

amazon

aws

s3
リンク
【ウマすぎ注意】炊飯器で作るローストビーフが最高に美味しい！肉汁を逃さず調理できる超簡単「真空調理法」
» 【ウマすぎ注意】炊飯器で作るローストビーフが最高に美味しい！肉汁を逃さず調理できる超簡単「真空調理法」もうすぐクリスマス！　とても楽しいシーズンですが、余分な出費も増えるツラい時期でもあります……。自宅でパーティーをするのにもケーキを買ったりプレゼントを買ったりと、お財布がスッカラカンになる可能性も。そんなときは料理をなるべく節約したいものですが、そんな時にぜひ試して欲しいのが、超簡単な炊飯器で作るローストビーフ。普通は100グラム500円ぐらいするローストビーフが、100グラム100円前後のオージービーフのモモ肉でとってもジューシーな絶品ローストビーフに仕上がります。 ■炊飯器で作るローストビーフのレシピ・材料牛もも肉　500グラム塩・コショウ　適量オリーブ油　適量 ※無ければサラダ油でOK ・作り方 1.牛もも肉に塩・コショウを強めに、全体にまんべんなく刷り込む 2
masterq 2012/02/07
cook
リンク
x86コードのサンドボックス、グーグルの「NaCl」は安全か？－＠IT
2009/08/06 Webブラウザ上で、ネットワークからダウンロードしたx86バイナリを安全に実行する――。2008年暮れにグーグルがオープンソースプロジェクトとして公開した「NaCl」（Native Client）は、本当に安全なものに仕上げることができるのか。先日グーグルが主催したセキュリティ・コンテスト、「Native Client Security Contest」でNaClの脆弱性を2つ発見して、日本人で唯一入賞したサイバーディフェンス研究所上級分析官の福森大喜氏に話を聞いた。静的解析で安全にx86コードを実行福森氏は、Webブラウザ上にx86バイナリを実行するサンドボックスを載せるというアイデアを評価する。「基本的には、いい考え。コードに悪意がある場合でも、WebブラウザやOSが被害を受けないようにできている。ソースコードを見た印象ではOSのカーネルに似ている」（福森氏
masterq 2012/02/07
サンドボックスまだよくわからない。。。

nacl
リンク
Research Papers
Google's Native Client engineering team has published the following papers about Native Client techno logy: Native Client: A Sandbox for Porta ble, Untrusted x86 Native Code, Appeared in the 2009 IEEE Symposium on Security and Privacy (http://oakland09.cs.virginia.edu), May 2009 Adapting Software Fault Isolation to Contemporary CPU Architectures. Appeared in the 19th USENIX Security Symposium (http:
masterq 2012/02/07
論文

nacl
リンク
https://www.cr0.org/misc/CVE-2009-2793.txt
masterq 2012/02/07
セキュリティなるものが、そんな簡単なことでない証左

security

x86

netbsd
リンク
Microsoft、タイプセーフOS「Verve」を鋭意開発中
Microsoft Research is dedicated to conducting both basic and applied research in computer science and software engineering. Microsoft ResearchでOSの研究開発に取り組んでいるChris Hawbl itzel氏が、現在取り組んでいるOS「Verve」についてVerve: A Type Safe Operating Systemでインタビューに答える形でアイディアや概要を紹介している。Verveの論文は2010年3月末ごろの作成されたものがSafe to the Last Instruction: Automated Verification of a Type-Safe Operating System (PDF)として公開されている。「Verve」
masterq 2012/02/07
os

microsoft

c#

type
リンク
Fail-Safe C: Top Page
Fail-Safe C は、メモリ安全性を保証する ANSI C 言語のフルスペックの実装です。 ANSI C 言語の仕様で定められた全てのメモリ操作（キャストや共用体を含む）に対しその安全性を保証し、全ての危険なメモリアクセスを事前に検知し防止します。 Fail-Safe C では、コンパイル時や実行時の様々な最適化手法を組み合わせることで、実行時検査のオーバーヘッドの削減を行っています。このコンパイラを用いることでプログラマは、既存のプログラムを大幅に書き換えたり別の言語に移植したりすることなく、そのままプログラムを安全に実行することができます。詳細については次の文献もごらん下さい。 Yutaka Oiwa. Implementation of the Memory-safe Full ANSI-C Compiler. ACM SIGPLAN Conference on P
masterq 2012/02/07
c

type
リンク
- 2012年2月8日
- 2012年2月7日
- 2012年2月6日